Assertion: algebra's set | /r/HasProperty | self-dual
Facets:
value: in the sense
type: OTHER
Source sentences:
text: The set of axioms is self-dual in the sense that if one exchanges ∨ with ∧ and 0 with 1 in an axiom, the result is again an axiom.