The cofinality of an ordinal is the least order type of an unbounded subset of , equivalently the least ordinal admitting a cofinal function .
A function between ordinals is cofinal when its range is unbounded in : for every some satisfies .
An infinite cardinal is regular when its cofinality is .

Ancestors (6)

  1. Cardinal number
  2. Set theory
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home

Incoming links (2)

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

Cofinality by Wikipedia Bot 1
View more
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.
Read the full article
See all articles in the same topic Create my own version