reserve A,B,X,X1,Y,Y1,Y2,Z for set, a,x,y,z for object;
reserve P,R for Relation of X,Y;

theorem
  field R c= X \/ Y
proof
  dom R \/ rng R c= X \/ Y by XBOOLE_1:13;
  hence thesis;
end;
