1-теоремадаги айниятлар жуфт-жуфт тарзда шундай жойлаштирилганки, бири-иккинчисидан ва ҳамда ва белгиларни бир вақтда ўзаро жойларини алмаштириш натижасида келиб чиқади.
2-теорема. универсал тўпламнинг исталган ва тўпламлари учун қуйидагилар ҳақлидир:
6. Агар ҳамма лар учун бўлса, у вақтда .
6!. Агар исталган учун бўлса, у вақтда .
7.7. Агар ва бўлса, у вақтда .
8.8. .
9. 9.
10. 10. ![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAEUAAAAUCAIAAABUPWcsAAACH0lEQVR4nO2WP6hxcRzG3zjZLAYWJQYLRoMkKQplsNgMJkWZLP5EsiBlNEhJYjAqFiWJgbLIIMpIBgYW/++3e+tc9/w/h+77vvd9n+l4zjmf3/M4v/PtIPf7/dcPEvK7A7xY//v82SLts9vtFArFeDyWy+VPrvFCFC2WtE8qlTIajY1GIxAIPLnwC1G0WOI+q9VqNBqVy2WPx0MY4nA4JBKJer2+Xq+lUqnb7Q6FQgKBgAOKm8iwxH2SySTkg6Db7Xa/3wuFwsezx+PRZDKpVKp2uy2TyZbLZTqddjgczWaTz+ezQnEWGZagD+Sbz+cWiwWOzWZzq9VyuVyPF2SzWYlEUiqVPn4qlcpisWi323O5XDAYZIXiJgosQZ94PB6LxT6ObTYbZMWEqNVqhUIBc5fP5wuHw5g+tCiQRqOZTqf4GF6vN5/PE/ahwGL7ALparVYqFdQRiUS3243H46HOYrFQq9WYG7VaLfxnbFGgyWRCGJpM1Fhsn2g02uv1dDod6jidzn6/bzAYUOd0OuFfA9iB8F6xRXEQNfZLn+FweD6fHy8FWa1WmIlMQjzON+YoVvuNFvulTyQSyWQyGIT1XXgfr+v1ygHFar/RYj/7wAjudrt+v38wGKDmZrOBwTWbzfR6PTxTipUulwva50kUmZhgP/t0Oh08QiwW4zcDzH7C9VCfOYqVmGC5fI/CQ8ebCIIQ+t+sf+b7+i/VT+vzBpGBjB5NiATHAAAAAElFTkSuQmCC)
11. 11.
12. 12.
13. 13. ![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAF0AAAAYCAIAAAAXhmZLAAADvklEQVR4nO1XSyh0URyfYT4iNrNgI/JMeZSFKSTJyFCSjY1HsVGUIiXG+9GHSBEWKEksLIWSkmQWSHmFiIUFWSCk8Ry/5tR13XNm7rmTz2dxf6tz/veec37/3/k/7tXZbDaNCgq6/03gl0LVhQ1VFzY+ddFqtT9zpGsVTZYe/7bOtyL76CTzX4tvpMezlZpHbKi6sOFQl5ubm5CQkK2treDgYBf2XVhYyM/Pv729xdjHxycuLm5gYCA2NtZloj9Mz6EunZ2dKSkps7OzFRUVLhycmZlZX19/d3fX3Nx8fX3d09NTUlKyubnpwlZK6XV0dJjNZonRarX29vYKdll6bF0uLi42NjYmJiaKi4uZujw8PLS0tMzMzFxeXgYEBBQWFtbW1np4eIjf2d7ezsnJwUCv14NEf3+/Qt8dwjm9hoYGWpe3tzeJ3Tk9ti5tbW3wEw5Dy/v7e19fX/HTp6en1NTUqKiopaWloKCgs7Ozrq6u7Ozs+fl5d3d38cGgQsZXV1eRkZHKvHcM5/SYkNyZLD2GLvDz+Pg4PT0dY6PRiFTMy8sTv4Co8/f3Hx8fJ9OIiIixsbGsrKy+vr7q6mpifH19PT8/Dw0NxUUdHh7CDYQ3j8+ykKXHhE73xVNZegxdmpqaGhsbyRh5CJ8lB09PT4+MjEhWlZWV1dXVCbocHBygNJLw8fb2xg1nZGTQZ8XExOzv79P20tLS4eFhpoey9Jh4fn4WT2XpSXUBy6mpqcnJScGC9Ht/f3dzcxMsJycn0dHRkoXx8fG4RmGKKEUlGx0dBaHT01MUI9RI5Jpk1e7urqxLSukhZejkQh309PTkpyfVBRVodXU1ISFBsOTm5q6trSUnJwsW7EWnNDILdUeY7uzsIBYIS6Tu0NAQ6hGti1Lw0AsLC4PciYmJ4oXoNeHh4fz0vuiyvr7+8vIiPhUwmUzQUnywI4hrGy4EC4UpvhToENMozCNOegUFBe3t7WgC4tcGBweLior46X3RBW2su7tbwsZkB22ngRomPphcCDxBYauqqqqpqaGXKMojTnqocYuLi2jhCK7AwECkCWRCElVWVvLT+9QFrXdlZaW8vNxisQhGNDA0mqOjo6SkJISrE9Ko8ESXx8dHg8GAhcgs8ggNFVzRO/gloMFPD61nbm6utbU1LS2NfF4hUlCeSZXlpPepy/LyMs3Gz8+PjnNUbyZ1Ykd539vb09ivAvhjh0IRGOCnB3h5ef21g37ESc+V/0b6a1JjvyWJ/bsU+UdwTk/9n2ZD1YUNVRc2PgA0NGY+iehiBwAAAABJRU5ErkJggg==)
Do'stlaringiz bilan baham: |