自反，对称，传递的二元关系。
研究对称关系的目的在于将集合的元素进行分类，选取每类的代表元素从而来降低问题的复杂度，如软件测试时，可以用等价类来选择测试用例。
自反，反对称，传递
完全，反对称，传递。
完全（a <= b 或者 b <= a）。全序也是偏序。全序也是偏序。