[1] '7封闭集切-closed set)对等价关系专封闭的集合.设专是一等价关系,集合A称专封闭的,是指它满足:x任A八x专y=y任A.而包含A的最小专封闭集称为集合A的专闭包(记为仁A}}}. 由专封闭集概念可导出其他相关的专概念:若专封闭集A由有穷个专等价类组成,则称A为专有穷集;若专封闭集由无穷个专等价类组成,则称其为专无穷集;若专为正(即re)等价关系,A,A皆为专封闭集,A为re集,A为V无集,则称A为专单纯集,是指A不包含泞无穷的r.集;称A为专超单纯