商群の定義、構成論理、順序