操作が可逆で全域→部分群