Assertion: boolean algebra | /r/HasProperty | represented by this functor
Facets:
Source sentences:
text: This set then serves as the underlying set of the Boolean algebra represented by this functor.