オレは数学の授業をサボっていたので良くわからんが。

同型というならせめてActors→Closureとなる写像
（トランスレータプログラム？）を示してもらいたい。。。

3≡5(mod 2)？同値類？普通はＧの正規部分群Ｈが見つかって
Ｇ／Ｈが再び群になるような構造が存在するから価値がある
のであってこの議論自体は糞ですね。。。