集合 $\Omega$ の要素の数が有限ではなくて,かつ,集合 $\Omega$ から自然数全体 \[ \{1,2,3,\cdots \}\]への1対1で上への写像が存在するとき,集合 $\Omega$ を『可算集合』[countable set,enumerable set]という.
集合 $\Omega$ が『有限集合』もしくは『可算集合』であるとき,集合 $\Omega$ を『高々可算集合』[at most countable set]という.
『高々可算集合』ではない集合のことが『非可算集合』ということになる.
Mathematics is the language with which God has written the universe.