
theorem Th12:
  for N being Lawson complete TopLattice, X being Subset of N
  holds X in lambda N iff X is open
by Th9;
