Cofinalitat

En teoria de conjunts i teoria de l'ordre, un subconjunt ${\displaystyle A}$ d'un conjunt ordenat ${\displaystyle X}$ és cofinal en ${\displaystyle A}$ si no té cota superior en ${\displaystyle A}$.

En teoria de conjunts s'utilitza aquest concepte per definir la noció de cofinalitat, que permet classificar els diferents cardinals infinits.