>>607
ありがとうございます、I:a = { x∈A | xa∈I }ということですね

この記法の意味が分かっていないこともあってこれを使っているところが理解できていないのですが、
この意味だというつもりで理解を試してみます