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