n封閉集

'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為專超單純