Thus i ( e , n ) ∈ A ⇔ ( e , n ) ∈ B {\displaystyle i(e,n)\in A\Leftrightarrow (e,n)\in B} holds for all e and n.
つまり、 i ( e , n ) ∈ A ⇔ ( e , n ) ∈ B {\displaystyle i(e,n)\in A\Leftrightarrow (e,n)\in B} は全ての e と n について成り立つ。