reserve A for Tolerance_Space,
  X, Y for Subset of A;

theorem
  X = LAp X iff X = UAp X
by Th15,Th16;
