加法封闭性是抽象代数中的基础概念,描述集合在加法运算下的内在稳定性,是研究群、环、域等代数结构的核心条件。
设非空集合 SSS 配备加法运算 +++,若满足:
∀a,b∈S, a+b∈S\forall a,b \in S,\ a+b \in S ∀a,b∈S, a+b∈S
则称 SSS 对加法封闭,或称 SSS 具有加法封闭性。