Assertion: free boolean algebra | /r/HasProperty | generated by set
Facets:
Source sentences:
text: Unless the Axiom of Choice is relaxed, free complete boolean algebras generated by a set do not exist (unless the set is finite).