集合：修订间差异

@@ 第99行： / 第99行： @@
 <math>\complement_U A</math>
+设<math>U</math>为全集（包含研究问题中涉及的所有元素的集合），集合<math>A</math>是<math>U</math>的子集，则由<math>U</math>中所有不属于<math>A</math>的元素组成的集合，称为集合<math>A</math>相对于全集<math>U</math>的'''补集'''，记作<math>\complement_U A</math>（读作“<math>A</math>在<math>U</math>中的补集”）。
+'''符号表示'''：<math>\complement_U A = \{x | x \in U 且 x \notin A\}</math>
+'''性质'''：
+* <math>A \cup \complement_U A = U</math>（集合<math>A</math>与其补集的并集为全集）
+* <math>A \cap \complement_U A = \emptyset</math>（集合<math>A</math>与其补集的交集为空集）
+* <math>\complement_U (\complement_U A) = A</math>（补集的补集是集合本身）
+'''示例'''：
+设全集<math>U = \{1, 2, 3, 4, 5\}</math>，集合<math>A = \{1, 3, 5\}</math>，则<math>\complement_U A = \{2, 4\}</math>。
 [[category:代数]]