theorem Th16bis: :: NELSON_1:23

for L being Nelson_Algebra
for a, x, y being Element of L st x < y holds
a => x < a => y