Assertion: algebra's operation | /r/CapableOf | satisfy the laws of boolean algebra
Facets:
Source sentences:
text: Instead of showing that the Boolean laws are satisfied, we can instead postulate a set X, two binary operations on X, and one unary operation, and require that those operations satisfy the laws of Boolean algebra.