Cofinaliteit
In de ordetheorie, een deelgebied van de wiskunde, is de cofinaliteit  van een partieel geordende verzameling  de kleinste van de kardinaliteiten van de cofinale deelverzamelingen van 

Een deelverzameling  heet cofinaal in  als er bij iedere  een element  is met 

Deze definitie van cofinaliteit steunt op het keuzeaxioma, omdat het gebruikmaakt van het feit dat iedere niet-lege verzameling van kardinaalgetallen een kleinste element heeft. De cofinaliteit van een partieel geordende verzameling  kan op alternatieve wijze  worden gedefinieerd als het kleinste ordinaalgetal  waarvoor een functie van  naar  bestaat met cofinaal beeld. Deze tweede definitie is ook zinvol zonder een beroep op het keuzeaxioma te hoeven doen. Wanneer het keuzeaxioma wordt aangenomen, zijn de twee definities gelijkwaardig.

Voor een gerichte verzameling kan cofinaliteit op analoge wijze worden gedefinieerd. Het kan worden gebruikt om het begrip deelrij in  een net te veralgemenen.

Ordetheorie
Verzamelingenleer