>>408
＞論理式
＞A→B

それじゃAもBも項じゃなくて論理式じゃねーかよ

それで
＞A:= { x | ¬(x ∈ x) }
って何だよ。