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
 |
