差集合
$ A\setminus B
$ = \{x|(x\in A)\land(x\notin B)\}.
A and not B
$ A\setminus B \iff A\land \neg Bではない
というか集合に対してこの記号を使うのはダメっぽい?