コルモゴロフ商こるもごろふしょう<[Gr]こるもごろふ>・しょう

Math.Kolmogoroff-Quotient