Assertion: element algebra | /r/CapableOf | use equations— 0 ≠
Facets:
Source sentences:
text: However this exclusion conflicts with the preferred purely equational definition of "Boolean algebra," there being no way to rule out the one-element algebra using only equations— 0 ≠ 1 does not count, being a negated equation.