En teoría de conjuntos y teoría del orden, un subconjunto A de un conjunto ordenado X es cofinal en X si no tiene cota superior en X.
En teoría de conjuntos se utiliza este concepto para definir la noción de cofinalidad, que permite clasificar los distintos cardinales infinitos.
Por otro lado, la noción de «cofinal» referida a ordinales es: Se dice que un ordinal α es cofinal en otro ordinal β si existe una función monótona f : α → β cuyo rango es cofinal en β.
Puede demostrarse que se requieren infinitos «saltos» para escalar un ordinal límite, y que no cualquier ordinal puede ser la cofinalidad de otro: Ejemplos.
(Se puede utilizar la notación de números alef para hablar de cofinalidades, identificando ℵα con el correspondiente ordinal ωα.)