数え上げが可能であることを可算、数え上げが可能な集合を可算集合、その要素数が無限にある場合は可算無限集合という.
、その要素数が無限にある場合は可算無限集合