군집의 공리적 정의 (폐쇄성, 결합 법칙 등)