Assertion: finite boolean algebra | /r/HasProperty | isomorphic
Facets:
value: to the free countable boolean algebra
type: OTHER
Source sentences:
text: Surprisingly it can be shown that every countable atomless Boolean algebra is isomorphic to the free countable Boolean algebra.