Zbiory nieskończone przeliczalne to takie, które są równoliczne ze zbiorem liczb naturalnych , czyli są mocy Zbiór parzystych liczb naturalnych jest równoliczny ze zbiorem wszystkich liczb naturalnych – funkcja wzajemnie jednoznaczna może być opisana, na przykład jako ciąg par {(2,1), (4,2), (6,3), (8,4), ...}Podobnie zbiór nieparzystych liczb naturalnych jest równoliczny ze zbiorem wszystkich liczb naturalnych. Zbiór liczb pierwszych jest równoliczny ze zbiorem liczb naturalnych (argumentacja podobna jak wyżej) Zbiór liczb naturalnych jest równoliczny ze zbiorem liczb całkowitych. Funkcja wzajemnie jednoznaczna między tymi zbiorami może być opisana, na przykład, w postaci ciągu: {(1,0), (2,1), (3,−1), (4,2), (5,−2), (6,3), (7,−3)...} Zbiór liczb wymiernych jest równoliczny ze zbiorem liczb naturalnych. Niech każdemu ułamkowi odpowiada punkt o współrzędnych (x, y) w kartezjańskim układzie współrzędnych na płaszczyźnie, gdzie x i y są całkowite.