Режа: Тўпламлар ва уларнинг берилиши

1-теоремадаги айниятлар жуфт-жуфт тарзда шундай жойлаштирилганки, бири-иккинчисидан ва ҳамда ва белгиларни бир вақтда ўзаро жойларини алмаштириш натижасида келиб чиқади.

2-теорема. универсал тўпламнинг исталган ва тўпламлари учун қуйидагилар ҳақлидир:


6. Агар ҳамма лар учун бўлса, у вақтда .

6^!. Агар исталган учун бўлса, у вақтда .

7.7^. Агар ва бўлса, у вақтда .

8.8^. .

9. 9^.

10. 10^.

11. 11^.

12. 12^.

13. 13^.