: Matemáticas: cofinality

set theory > cardinality > cardinal number > cofinality

set theory > ordinal number > cofinality

cofinality

In mathematics, especially in order theory, the cofinality cf(A) of a partially ordered set A is the least of the cardinalities of the cofinal subsets of A.
This definition of cofinality relies on the axiom of choice, as it uses the fact that every non-empty set of cardinal numbers has a least member. The cofinality of a partially ordered set A can alternatively be defined as the least ordinal x such that there is a function from x to A with cofinal image. This second definition makes sense without the axiom of choice. If the axiom of choice is assumed, as will be the case in the rest of this article, then the two definitions are equivalent.
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Cofinality)

http://data.loterre.fr/ark:/67375/PSR-VKN6FRMV-X

RDF/XML TURTLE JSON-LD Creado 21/8/23, última modificación 18/10/24

Loterre