,d,……∈U,恒有F(a,b,c,d,……)∈U。有的书上对封闭性未作要求，并称之为广群。运算f是一个从A×B→C的映射，若A=B=C,则称运算f是封闭的。
样例.
单个集合的例子.简单结构: 没有定义二元运算的情况: