Assertion: algebra's operation | /r/CapableOf | satisfy same laws
Facets:
Source sentences:
text: Now consider any other algebra with operations that not only have the same names but also satisfy the same laws (and possibly more), called a model of those laws.