共終数
極限順序数formula_1の共終数（きょうしゅうすう、cofinality）とは、
formula_2からformula_1への写像で
その値域がformula_1の中で非有界になっているようなものが存在するような
最小のformula_2のことを言う。
ここで、formula_1の部分集合formula_7が非有界であるとは、
全てのformula_8に対して、それよりも大きい
formula_7の元が存在することをいう。
formula_1の共終数はよくformula_11
と記される。
共終数は順序数の性質として非常に重要なものであり、その他の性質に
大きく影響している。また下記の正則基数と特異基数の違いは顕著である。