theorem :: NELSON_1:6

for L being Nelson_Algebra
for a, b being Element of L holds
( a [= b iff a <= b ) by LATTICES:4;