原创力文档*逆关系有下列性质。**********它们分别是具有自反性或对称性或传递性的R的“最小”超集合。********为了说明哈斯图的画法，首先定义“覆盖”的性质。***偏序集中链和反链的概念是十分重要的。****证明：对n进行归纳。当n=1时，A中没有任何两个不同元素有?关系，因此A本身既为一链，又为一反链，因此划分{A}即满足要求。设n=k时命题成立。现令n=k+1。设M为A中所有极大元素的集合。由于A为有限集，因此M必为一非空的反链(极大元之间是不可比较的)。考虑有序集A-M，?，它不可能有长度为n
文档评论（0）