theorem Th9: :: NELSON_1:15

for L being Nelson_Algebra
for a, b, c being Element of L st a <= b & b <= c holds
a <= c