nie istnieje funkcja zbioru w siebie, która byłaby iniekcją (różnowartościowa), lecz nie byłaby suriekcją („na”)Warunek definicji Dedekinda, podobnie jak w definicji Tarskiego, jest również spełniony „w próżni” dla zbioru pustego, gdyż zbiór pusty nie ma podzbiorów właściwych, zatem żaden podzbiór właściwy zbioru pustego nie jest z nim równoliczny.. Definicja Dedekinda (alternatywna 1) Zbiór jest skończony, gdy nie istnieje funkcja różnowartościowa zbioru liczb naturalnych w ten zbiórPor. zasada szufladkowa Dirichleta.. Definicja Dedekinda (alternatywna 2) Zbiór jest skończony, gdy nie zawiera zbioru przeliczalnie nieskończonego.
Definicje pochodzące od Alfreda Tarskiego i Richarda Dedekinda (niealternatywna) mają zasadniczą przewagę nad definicją naturalną, gdyż nie wykorzystują pojęcia liczby naturalnej.
Definicja Dedekinda, ze względu na swą intuicyjność, była do czasów prac Georga Cantora (XIX wiek) niemal powszechnie przyjmowana jako równoważna definicji naturalnej.