Bog'liq I bob. 1- §. To’plamlar nazariyasining asosiy tushunchalari
, lekin .
Qandaydir tasdiqning o‘rinli bo‘lishidan boshqa tasdiqning o‘rinli bo‘lishi kelib chiqsa, bu holat deb belgilanadi. Masalan, . Agar va tasdiqlar uchun va bo‘lsa, bu tasdiqlar
, lekin 
.
tasdiqning o‘rinli bo‘lishidan boshqa 
tasdiqning o‘rinli bo‘lishi 
deb belgilanadi. Masalan, 
. Agar 
bo‘lsa, bu tasdiqlar 
