在离散数学中，集合A、B， 记作xRy，就是集合。用来定义二元关系。

数学上，二元关系用于讨论两个数学对象的联系。诸如算术中的「大于」及「等于」，几何学中的"相似"。二元关系有时会简称关系，但一般而言关系不必是二元的。

相关介绍

集合U和A的相对差集，符号为U A，是在集合U中，但不在集合A中的所有元素，相对差集{1,2,3} {2,3,4} 为{1} ，而相对差集{2,3,4} {1,2,3} 为{4} 。

集合A和B的对称差，符号为A △ B或A⊕B，是指只在集合A及B中的其中一个出现，没有在其交集中出现的元素。

集合的表示，表示一个集合时通常使用列元素发和谓词表示法：

1、列元素法，将集合中的每一元素都列出来：如A = {a, b, c}，Z = {1, 2, 3}

2、谓词表示法，用谓词来概括集合中的属性：B = {x|x∈R∧x^2-1=0}

3、集合中的元素都是不相同的，同一个元素多次出现视为一个元素，例如{1, 2, 3, 3, 3} = {1, 2, 3}

4、集合中的元素是无序的，例如{1,2,3,4} = {2,4,3,1}