The cofinality 
of a partially ordered set 
is the least cardinal number
of a cofinal subset of 
.
For an ordinal number 
,
its cofinality 
is the least order type of an unbounded subset
of 
. Every successor ordinal
number has cofinality 1, while
 |
