Лаборатория2

6-таъриф. билан (n аргументли мантиš алгебрасининг ќамма функцияларини œз ичига олган) тœпламнинг бирор šисм тœпламини белгилаймиз. тœплам функцияларнинг суперпозициясидан ќосил этилган ќамма буль функциялари тœплами ( тœплам функциялари орšали ифодаланган ќамма буль функциялари тœплам)га тœпламнинг ёпиђи деб айтилади ва [ ] каби белгиланади.
Мисол. 1. = бœлсин, у ќолда [ ]= .
2. ={ } бœлсин, у ваšтда тœпламнинг ёпиђи ќамма - чизиšли функциялар тœпламидан иборат бœлади.
Тœплам ёпиђи šуйидаги хоссаларга эга:
1. [ ] Ê ;
2. [[ ]] = [ ];
3. агар ₁ Í ₂ бœлса, у ќолда [ ₁] Í [ ₂] бœлади;
4. [ _{1 2}] Ê [ ₁] [ ₂].
7-таъриф. Агар [ ]= бœлса, у ќолда тœплам (синф)га функционал ёпиš синф деб айтилади.
Мисол. 1. = синфи ёпиš синф бœлади.
2. ={ } cинфи ёпиš синф бœлмайди.
3. - синфи ёпиš синф бœлади.
Осонгина кœриш мумкинки, ќар šандай [ ] синф ёпиš синф бœлади. Бу ќол кœпгина функционал ёпиš синфларни топишга ёрдам беради.
Тœплам ёпиђи ва ёпиš синф тилида функциялар системасининг тœлиšлиги ќаšидаги таъриф (аввалги таърифга эквивалент бœлган таъриф) ни бериш мумкин.