在集合论中，常用的逻辑用语有：
1. 并集（Union）：表示两个集合中所有的元素的集合。符号为“∪”。
2. 交集（Intersection）：表示两个集合中相同的元素的集合。符号为“∩”。
3. 补集（Complement）：表示不属于某个集合的元素组成的集合。符号为“'”。
4. 子集（Subset）：指一个集合的所有元素都属于另一个集合。符号为“⊆”。
5. 真子集（Proper Subset）：指一个集合的所有元素都属于另一个集合，且两个集合不相等。符号为“⊂”。
6. 相等（Equality）：指两个集合的元素完全相同。符号为“=”。
7. 互异性（Disjoint）：指两个集合之间没有相同的元素。符号为“[UNK]”。
在集合论中，还需要用到不等式的知识点。以下是一些常用的不等式：
1. 三角不等式（Triangle Inequality）：对于任意的实数 a、b、c，有 a + b ≥ c。
2. 柯西-施瓦茨不等式（Cauchy-Schwarz Inequality）：对于任意的实数 a1, a2, ..., an 和 b1, b2, ..., bn，有 ∑(ai * bi) ≤ (∑ai^2) * (∑bi^2) / n。
3. 绝对值不等式（Absolute Value Inequality）：对于任意的实数 a、b，有 a ≥ 0，且 a ≥ b 时，a ≥ b。
4. 三角不等式的推广（Triangle Inequality for Products）：对于任意的实数 a1, a2, ..., an 和 b1, b2, ..., bn，有 ∑(ai * bi) ≤ (∑ai^2) * (∑bi^2) / n。
这些逻辑用语和不等式知识点在集合论中经常被用到，掌握这些知识点对于理解集合论的基本概念和证明集合论中的定理都非常有帮助。
集合是数学中的一个基本概念，常用逻辑用语是不通过文字直接推理的数学语言，不等式是数学中的一个重要概念。
