theorem Th3: :: NELSON_1:7

for L being Nelson_Algebra
for a, b being Element of L holds
( ( a <= b & b <= a ) iff a = b )