An element of this sort of that = = for all ∈ is termed a unit aspect. (Once the regulation of composition is penned additively, the unit component is denoted by 0, and known as a zero ingredient.) Make sure you see the discussion on Requests for cleanup(+) or maybe https://omars059bkb6.salesmanwiki.com/user