:: deftheorem Def1 defines Sigma WAYBEL29:def 1 :
for L being non empty up-complete Poset
for b₂ being strict Scott TopAugmentation of L holds
( b₂ = Sigma L iff verum );