theorem
  the carrier of OpenClosedSetLatt(T) = OpenClosedSet(T);
