>>833
>†I~‡Iとは、†α~‡α=γJ=†β~‡βとなることではないの?

†Iの各点を‡Iの対応する点と同値と他定めるってことでしょ
†α~‡αも†β~‡βも成り立つけどそれだけじゃない