theorem Th11: :: NELSON_1:17

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