assume {} in rng <*x,y*> ; :: according to RELAT_1:def 9 :: thesis: contradiction
then {} in {x,y} by FINSEQ_2:127;
hence contradiction by TARSKI:def 2; :: thesis: verum