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