Bog'liq I bob. 1- §. To’plamlar nazariyasining asosiy tushunchalari
o‘zaro ekvivalent tasdiqlar deb ataladi. va tasdiqlarning o‘zaro ekvivalentligi deb belgilanadi (masalan, [14] kitobning mulohazalar algebrasi qismiga qarang).
2- misol. natural sonlar to‘plami haqiqiy sonlar to‘plamining qism to‘plamini tashkil etadi: . ■
va 
tasdiqlarning o‘zaro 
deb belgilanadi (masalan, [14] kitobning mulohazalar algebrasi qismiga qarang).
natural sonlar to‘plami 
haqiqiy sonlar to‘plamining qism to‘plamini tashkil etadi: 
. ■
