
theorem Th7:
  for T being non empty TopSpace holds the topology of T = UniCl
  FinMeetCl the topology of T
proof
  let T be non empty TopSpace;
  the topology of T = FinMeetCl the topology of T by Th5;
  hence thesis by Th6;
end;
