:: deftheorem Def3 defines Lawson WAYBEL19:def 3 :
for T being non empty reflexive TopRelStr holds
( T is Lawson iff (omega T) \/ (sigma T) is prebasis of T );