reserve x,y,z,a for object;
reserve X,Y,Z for set;

theorem
  (for x being object holds x in X iff x in Y) implies X = Y;
