数え上げ
数え上げ（かぞえあげ、enumeration）は、数学においては、ある集合に対し、その集合から自然数全体の成す集合への単射を定義することである。また、そのような単射が少なくとも1つ存在するならば数え上げ可能であると言い、1つも存在しないならば数え上げ不可能であると言う。