:: deftheorem defines satisfying_N19* NELSON_1:def 38 :
for L being non empty NelsonStr holds
( L is satisfying_N19* iff for a being Element of L holds ((- (! a)) => a) "/\" (a => (- (! a))) = Top L );