R1 \, R2 c= R1 \/ R2 by Th11;
hence R1 \, R2 is Relation of X by XBOOLE_1:1; :: thesis: verum