A对于任意的a，b∈G，都有a的逆元b∈BB是群CS是有限集且运算在S上封闭D其他三项皆可