Жабу және бөліктеу

Айталық, {A_i | iÎI} А жиынының бос емес ішкі жиындары болсын. A_i ÌA

Анықтама. Егер A = болса, яғни А жиынының әр элементі А_і жиындарының ең болмаса біреуіне кірсе, онда бос емес {A_i | iÎI} жиыны А жиынының жабуы деп, ал егер i¹j болғанда A_i ÇA_j = Æ болса, жабу бөліктеу деп аталады (" I , jÎI i¹j => A_i ÇA_j = Æ). Басқа сөзбен айтқанда А жиынының бос емес {A_i | iÎI} ішкі жиындары қиылыспаса яғни А-ның әр элементі бос емес А_і жиындарының тек біреуіне ғана кіретін болса, онда {A_i | iÎI} жиыны А жиынының бөліктеуі деп аталады. Мысалы, А={1,2,3} болса, онда {{1,2},{2,3},{3,1}} – А жиынын жабады, ал {{1},{2},{3}} – А жиынының бөліктеуі болады.