Assertion: algebra's operation | /r/CapableOf | satisfy certain laws
Facets:
value: by fiat
type: MANNER
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.