:: deftheorem Def6 defines continuous WAYBEL_3:def 6 :
for L being non empty reflexive RelStr holds
( L is continuous iff ( ( for x being Element of L holds
( not waybelow x is empty & waybelow x is directed ) ) & L is up-complete & L is satisfying_axiom_of_approximation ) );