布尔逻辑-集合代数和文氏图设 X 是一个集合:元素是一个集合的成员。表示为 \in。如果它不是这个集合的元素,表示为 \notin。全集是集合 X,有时表示为 1。注意使用全集这个词意味着"虑及的所有元素",同"现有的所有元素"一样不是必然的。空集或 null 集合是没有元素的集合,表示为 \varnothing,有时表示为 0。一元算符应用于一个单一的集合。有一个一元算符叫做逻辑非(NOT)。它的作用是采用补集。二元算符应用于两个集合。基本的二元算符是逻辑或(OR)和逻辑与(AND)。它们进行集合的交集和并集。还有其他衍生的二元算符,比如逻辑异或(XOR)(排他的或)。子集表示为 A \subseteq B,意味这在集合 A 中所有元素都在集合 B 中。真子集表示为 A \subset B,意味着在集合 A 中的所有元素都在集合 B 中,并且两个集合不等同。超集表示为 A \supseteq B,意味着在集合 B 中的所有元素都在集合 A 中。真超集 表示为 A \supset B,意味着在集合 B 中的所有元素都在集合 A 中,并且两个集合不等同。例子设图像为集合 A 包含"全集"中所有偶数(二的倍数),集合 B 包含"全集"中所有三的倍数。则两个集合的交集(在集合 A AND B 中所有的元素)将是"全集"中所有六的倍数。