>>710
それで正しいことになる。
ただ、どうせ書き直すなら φ⊂{2} の方が自然な気もするが。