Assertion: boolean algebra | /r/CapableOf | preserve product
Facets:
Source sentences:
text: Because it preserves products, any such functor is determined by the set F(2) to which F maps the two-element power set 2.