theorem :: NELSON_1:39

for L being Nelson_Algebra
for a, b being Element of L holds a <= b =-> (a "/\" b)