:: deftheorem Def11 defines satisfying_N10 NELSON_1:def 17 :
for L being non empty NelsonStr holds
( L is satisfying_N10 iff for a being Element of L holds a < - (! a) );