在集合论中，集合与集合之间的关系是数学研究的重要内容。一个常见的表示方法是使用符号，例如“⊂”来表示一个集合是另一个集合的真子集。假设有两个集合A和B，如果集合A中的所有元素都属于集合B，但集合B中至少有一个元素不属于集合A，则称集合A是集合B的真子集，写作A⊂B。
另一种表示方法是使用“⊆”符号，这个符号表示的是子集关系，即集合A中的所有元素都属于集合B，但集合A和集合B可能是相等的。用公式表示就是如果A⊆B，则对于所有x，x∈A蕴含x∈B。这里，“蕴含”意味着如果A中的元素x存在，则x一定在B中。
举个例子，假设集合A={1,2,3}，集合B={1,2,3,4,5}，那么集合A是集合B的真子集，写作A⊂B，但集合A也是集合B的子集，写作A⊆B。
另一方面，如果一个集合下面是一个横线，这通常表示的是一个集合的补集。例如，如果有一个全集U，集合A是U的子集，那么A的补集表示为A'，A'包含的是U中不属于A的所有元素。
再举一个例子，如果全集U={1,2,3,4,5,6,7}，集合A={1,2,3}，那么A的补集A'={4,5,6,7}。
因此，通过不同的符号和表示方法，我们可以清晰地描述集合与集合之间的关系，包括子集、真子集和补集等。
