I-боб. Умумий тушунчалар 1-§. Тўпламлар назариясининг асосий тушунчалари

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

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

6. Агар ќамма лар учун 6^. Агар исталган учун

бўлса, у ваšтда бўлса, у ваšтда .

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

8.8^. .

9. 9^.

10. 10^.

11. 11^.

12. 12^.

13. 13^.