Нейтральный элемент. Определение нейтрального элемента выглядит так: Ǝ 𝑒 ∈ 𝑀 ⇒ ∀𝓍 ∈ 𝑀 : 𝓍 ⨁ 𝑒 = 𝓍, ⨁ – операция, определённая на элементах множества 𝑀. Если "человеческим языком": Существует такое 𝑒 в 𝑀, что для любого элемента 𝓍 из множества 𝑀, выполняется…