Assertion: algebra's operation | /r/HasProperty | read as complement
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: