theorem
  for X be set, B be Subset-Family of X holds B c= <.B.] by def3;
