Assertion: algebra's operation | /r/CapableOf | satisfy following laws
Facets:
Source sentences:
text: It requires just one binary operation + and a unary functional symbol n, to be read as 'complement', which satisfy the following laws: