PropertyValue
nif:beginIndex
  • 0 (xsd:integer)
nif:broaderContext
nif:endIndex
  • 195 (xsd:integer)
nif:isString
  • Then the following conditions are equivalent:0 is absorbing with respect to the operation ⊗; that is, 0 ⊗ x = 0 = x ⊗ 0 for every x ∈ K; (K, ⊕, 0) is a monoid; that is, 0 ⊕ x = x for every x ∈ K.
rdf:type