reserve x, y for set;
reserve D for non empty set;
reserve UN for Universe;
reserve C for Category;
reserve O for non empty Subset of the carrier of C;

theorem
  the carrier of cat(O) = O;
