A \ B c= A by XBOOLE_1:36;
hence A \ B is independent Subset of M by M1; :: thesis: verum