Assertion: boolean algebra | /r/HasProperty | atomic
Facets:
Source sentences:
text: A Boolean algebra is said to be atomic when every element is a sup of some set of atoms (the bottom element is always the empty sup).