Laws on relations from Tarski-Givant's monograph