R /\ S c= R by XBOOLE_1:17;
then ( dom R c= X & dom (R /\ S) c= dom R ) by RELAT_1:11, RELAT_1:def 18;
hence dom (R /\ S) c= X ; :: according to RELAT_1:def 18 :: thesis: verum