13
Boolean Algebra’s (cont’d)
•
Proposition
. The two definitions are
equivalent
•
Proof
:
•
From
µ
to
Ĺ
,
[
:
define x
Ĺ
y = inf(x,y), x
[
y = sup(x,y)
•
From
Ĺ
,
[
to
µ
:
define x
µ
y to mean x
Ĺ
y = x