:: deftheorem Def4 defines lambda WAYBEL19:def 4 :
for T being complete LATTICE
for b₂ being Subset-Family of T holds
( b₂ = lambda T iff for S being correct Lawson TopAugmentation of T holds b₂ = the topology of S );