That is, for any x, y, z ∈ K, we The additive identity is an annihilating element with respect to multiplication.
each local domain is associated with a function that maps variable assignments to feature extractors.