Assertion: algebra's set | /r/CapableOf | satisfy boolean laws
Facets:
Source sentences:
text: The above definition of an abstract Boolean algebra as a set and operations satisfying "the" Boolean laws raises the question, what are those laws?