Closure

群的公理之一：对任意 $g,h\in G$，有

$$g\cdot h\in G$$

直觉

封闭性要求运算结果"不跑出集合"，是二元运算定义的一部分。整数加法封闭（两整数之和仍是整数），但正奇数集上的加法不封闭：$1+1=2$ 不是奇数。