[:X,S:] c= [:X,X:] by ZFMISC_1:96;
hence R is Relation of X by XBOOLE_1:1; :: thesis: verum