 reserve X for set;
 reserve S for Subset-Family of X;

theorem
  bool X is semiring_of_sets of X;
