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