theorem Th19bis: :: NELSON_1:37

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