>>621の続き
Eq1:時枝問題(例えばR^Nに対して)の数列の同値類の設定
Lm1:時枝問題の同値類の代表列&決定番号(自然数)

(A & Eq1) → Lm1