Cofinality is a concept in set theory, specifically in the context of cardinals and their relationships. It refers to a property of unbounded sets, particularly in the context of infinite cardinals.
Articles by others on the same topic
The cofinality of an ordinal is the least order type of an unbounded subset of , equivalently the least ordinal admitting a cofinal function .