全然分からんけど
a_(n+1)={a_n,b_n}で再帰的に定義される集合があり、a_n∈a_(n+1)が成立している。
ここで何等かの同値関係を導入すると商集合上の元 a(:={a_n|n∈N})、b(:={b_n|n∈N}) が a={a,b}を満たし、従って a∈a と言ってるのかな？
商集合上の∈がオリジナルの∈とは別モノなのかも知れない。そうでなければ基礎の公理と矛盾。
全然分からんけど