Cofinalità: differenze tra le versioni

Spesso si usa come sinonimo "illimitato" per il termine "cofinale", ma bisogna ben distinguere questa definizione di illimitato con quella generica d'ordine tra sottoinsiemi di insiemi qualunque. Infatti, in questo contesto, per ''illimitato'' si intende che nessun [[segmento iniziale|taglio iniziale]] di <math>I</math> contiene tutto <math>f(\alpha)</math>, o equivalentemente che dato un qualsiasi elemento <math>x \in I</math> esiste un elemento <math>y \geq x</math> con <math>y \in f(\alpha)</math>.

 

 

<math>cof(I) = \min\{k \text{ cardinale } |\quad |X|=k\quad\land\quad X\subseteq I \text{ è cofinale in }I\} </math>