14
Boolean Algebras (cont’d)
•
Define:
atom(x) = (x
¹
?
)
Æ
8
y. (y
µ
x
)
y=
?
Ç
y = x)
•
•
Proposition
. Let A be finite. Let X = {x | x
2
A,
atom(x)}.
Then (A,
µ
) is isomorphic to (2
X
,
µ
)
•
•
[why ?]