(代数学)群、部分群の定義と同値関係について