.. _relations:

关系
====

正如集合为一个类型中对象的性质提供了便利语言，*关系*也为一个类型中对象对的性质提供了便利语言。听起来这也许枯燥而抽象，但这样的性质在数学中无处不在：一个实数小于另一个实数；一个整数与另一个整数模 5 同余；一个集合是另一个集合的子集；一个函数是另一个函数的逆。

本章介绍关系本身可以具有的一些重要性质：关系可以是*自反*、*对称*、*反对称*或*传递*的，也可以具有这些性质的任意组合。

.. include:: ch10_Relations/01_Introduction.inc
.. include:: ch10_Relations/02_Equivalence_Relations.inc