有限群有限群由有限集合與完整封閉Cayley表構成,並滿足結合律、唯一單位元及每元素逆元。atlas-finite-group · canonical_mko有限群前置節點集合函數映射二元關係與集合投影數學證明