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

theorem Th29:
  UAp X` = (LAp X)`
proof
  (UAp X`)`` = (LAp X``)` by Th28;
  hence thesis;
end;
