theorem Th36: :: XBOOLE_1:36

for X, Y being set holds X \ Y c= X by XBOOLE_0:def 5;