二元关系

1.等价关系

自反，对称，传递的二元关系。

研究对称关系的目的在于将集合的元素进行分类，选取每类的代表元素从而来降低问题的复杂度，如软件测试时，可以用等价类来选择测试用例。

2.偏序关系

自反，反对称，传递

3.全序关系

完全，反对称，传递。

完全（a <= b 或者 b <= a）。全序也是偏序。全序也是偏序。