barem beskonačno bijekcija broj broja brojeva brojevi cijeli dakle dati definicijama definirali definiramo definirana definirane definirat desnim diskretni dobro dokaz dokazan dokazati dovoljno dva ekvipotentan ekvipotentni ekvivalencije elemenata ćemo funkcija gore gust imaju iste između jedan jednako jer kako kao klasa klase koji konačno lijevim matematike mnogo naime nalazi naprijed natrag neka nove oba odnosno operacija operacije osnove osnovna ovdje ovise ovom oznaka oznake poglavlju pomoću potpunog poznata poznatih prebrojiv predstavniku primjer qed racionalna racionalni racionalnih radi računske različita razliku realni redom relacija relaciju skup skupa skupova skupovi skupu slijedi slično smo stranama svaka svih svojstva tada također teorem teoremu što tog tome unatoč uređaja vrijede vrijedi zaista zaključujemo značenja znači