reserve E,X,Y,x for set;
reserve A,B,C for Subset of E;

theorem
  A c= A` iff A = {}E
by XBOOLE_1:38;
