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