theorem Th6: :: NELSON_1:10

for L being Nelson_Algebra
for a, b being Element of L holds a "/\" b < a