The definition of relation, relations properties about to reflexive and irreflexive, symmetric and antisymmetric and transitive, and its application in computer science has been recited.

介绍了关系的定义、关系的自反性和反自反性、对称性和反对称性、传递性五条性质，及其在计算机领域中的应用。