An element of this kind of that = = for all ∈ is referred to as a unit factor. (Once the law of composition is published additively, the unit aspect is denoted by 0, and is termed a zero component.) You should see the discussion on Requests for cleanup(+) or https://anniew257gty4.wikissl.com/user