Assertion: complete boolean algebra | /r/HasProperty | generated by the poset
Facets:
Source sentences:
text: as the complete Boolean algebra "generated by" the poset .