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

theorem Th12:
  id(X) * id(X) = id X
proof
  dom id(X) = X;
  hence thesis by RELAT_1:51;
end;
