Assertion: finite boolean algebra | /r/HasProperty | atomic
Facets:
Source sentences:
text: Every finite Boolean algebra is atomic, and moreover isomorphic to the power set 2X of the set X of its atoms, under the operations of union, intersection, and complement, with 0 and 1 realized by respectively the empty set and