Assertion: free countable boolean algebra | /r/HasProperty | atomless
Facets:
Source sentences:
text: The free countable Boolean algebra is atomless.