また、高々可算な集合とは、nの濃度以下の濃度を持つ集合のことである。