R1 /\ R2 c= [:X,X:] ;
hence R1 /\ R2 is Relation of ; :: thesis: verum