Assertion: algebra's operation | /r/CapableOf | satisfy axiom
Facets:
Source sentences:
text: This axiomatic definition of a Boolean algebra as a set and certain operations satisfying certain laws or axioms by fiat is entirely analogous to the abstract definitions of group, ring, field etc.