等价关系与划分

Equivalence Relation and Partition

摘要: 为了强化集合论在计算机领域的应用,给出了有限集合上的具有基本性质(自反、反自反、对称、反对称)的二元关系及函数的计数以及具有基本性质组合的二元关系的计数,并给出了等价关系与划分之间的关系及相容关系和等价关系的计数.

Abstract: This paper presents the counting of binary relations and functions of basic properties and their combination of the finite sets.And it also introduces the counting of consistent relation,and the counting of equivalence relation,partitions and their relation.