可算無限集合とは、自然数との間に全単射が存在する（数え上げることができる、言い換えると、同じ基数または濃度をもつ）集合のこと。可算無限集合の基数を普通(アレフ・ゼロ、aleph-null)と書く。 整数や有理数も可算無限集合の一種である。