Biyektiv sübut
Biyektiv sübut — iki sonlu A və B çoxluğu arasında f : A → B bijektiv funksiyasının və ya iki kombinator sinfi arasında ölçüsü qoruyan bijective funksiyasının tapıldığı sübut üsuludur və bununla da eyni sayda elementi sübut edir, |A| = |B|. Texnikanın faydalı olduğu yer A-nın ölçüsünü bilmək istədiyimiz, lakin çoxluğun elementlərini saymaq üçün birbaşa yol tapa bilmədiyimiz zamandır. Bu halda, B çoxluğunun elementlərinin sayını hesablamaq daha asan olarsa, A və bəzi B çoxluğu arasında bijection qurmaq problemi həll edir. Bu texnikanın digər faydalı xüsusiyyəti ondan ibarətdir ki, bijeksiyanın təbiəti çox vaxt iki dəstdən hər biri haqqında güclü məlumat verir.