b'\n_START_ARTICLE_\nCofinaliteit\n_START_PARAGRAPH_\nIn 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 _NEWLINE_Een deelverzameling  heet cofinaal in  als er bij iedere  een element  is met _NEWLINE_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._NEWLINE_Voor een gerichte verzameling kan cofinaliteit op analoge wijze worden gedefinieerd. Het kan worden gebruikt om het begrip deelrij in een net te veralgemenen.'