>>623のEq2の同値類の定義と
>>624のFnの関数構成の定義を
読んで何のことだかわからん奴は
数学のセンスがないから
数学板から失せたほうがいい