theorem Th10: :: NELSON_1:16

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