> φ∈{φ,{2}}
これが分からないんですけど、この記号のときは左辺が要素になるんじゃないんですか？
でもφって空集合じゃ・・・？