theorem Th9: :: WAYBEL30:9

for N being complete Lawson TopLattice holds lambda N = the topology of N