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