>>850
∈はアリティ2の述語記号なのでその解釈としては議論領域Mに対してM^2の部分クラスを与える。
>E={<x,y>|x∈y}
は、例えば標準モデルにおける解釈をそのまま採用することを宣言するような場合の書き方。x∈yの真偽を定めるのが解釈なのにそれが前提として与えられてないと意味を為さない書き方だよね？