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

theorem Th14:
  LAp X c= UAp X
proof
  LAp X c= X & X c= UAp X by Th12,Th13;
  hence thesis;
end;
