| Mənfi olmayan tam ədədlərin çıxılması
Tutaq ki, boş olmayan və sonlu çoxluqları verilmişdir və və - ni çoxluğuna qədər tamamlayan çoxluq isə boş deyil, yəni Æ.
Tərif : və olduqda mənfi olmayan və tam ədədlərinin fərqi çoxluğunu çoxluğuna qədər tamamlayıcı çoxluğun elementlərinin sayına deyilir. Tərifi simvolik olaraq aşağıdakı kimi yaza bilərik :
Cəm anlayışından fərqli olaraq iki mənfi olmayan tam ədədin fərqinin varlığını həmişə hökm etmək olmaz. Fərq anlayışını daxil edərkən şərti əhəmiyyətli rol oynayır. Doğrudan da, münasibətindən münasibəti çıxır.
Bu da o deməkdir ki, və olduqda və ədədlərinin fərqi onda və yalnız onda var ki, olsun.
Tərif . İki mənfi olmayan və ədədlərinin fərqinin tapılması əməlinə çıxma əməli deyilir. Burada azalan , çıxılan adlanır.Burada ki, .
Tərif . Mənfi olmayan və ədədlərinin fərqi elə mənfi olmayan ədədinə deyilir ki, onun ilə cəmi ədədinə bərabər olsun.
Beləliklə, ekvivalensiya münasibəti ödənilir.
Dostları ilə paylaş: | 
