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
)