集合Gに結合的な乗法が定義されていて、それについて次の二つの条件が満たされているとする。
1.ある元e∈Gが存在して、任意のg∈Gに対してeg=gが成り立つ。
2.任意のg∈Gに対してある元h∈Gが存在してhg=eとなる。
このときGは群であることを示せ。