Assertion: algebra's element | /r/HasProperty | such that
Facets:
Source sentences:
text: Elements such that
text: A. Furthermore, A is assumed to be unital, which is to say it contains an element 1 such that
text: There is an element 0 in R such that a + 0 = a for all a in R
text: A Boolean algebra is a six-tuple consisting of a set A, equipped with two binary operations ∧ (called "meet" or "and"), ∨ (called "join" or "or"), a unary operation ¬ (called "complement" or "not") and two elements 0 and 1 in A (called "bottom" and "top", or "least" and "greatest" element, also denoted by the symbols ⊥ and ⊤, respectively), such that for all elements