 reserve x,y,z,t for object,X,Y,Z,W for set;
 reserve R,S,T for Relation;

theorem
  id(X \ Y) \ id X = {} by Th15,XBOOLE_1:37;
