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