写像もそうだけど関係もだよな
そもそも集合論で最も重要な∈関係を
集合論の宇宙Vの部分クラスの
E={<x,y>|x∈y}
としていいんかね