在数学的集合论中,规定了一些符号。最常用的有U(并),∩(交),一(不)等。

因此a并b的否定符号就在AUB的上方加“一”,读做A并B的不。