数え上げ

数え上げ（かぞえあげ、enumeration）とは、ある集合に対し、その集合から自然数全体の成す集合への単射を定義する行為のことである。要素一つひとつに番号を割り振ることによって、その集合の要素の総数を算出する。