Si est un cardinal de cofinalitéindénombrable, et intersecte chaque club situé dans alors est appelé un ensemble stationnaire[1]. Si un ensemble n'est pas stationnaire, alors on l'appelle ensemble mince.
Si est un ensemble stationnaire et est un ensemble club, alors leur intersection est également stationnaire.
La restriction à la cofinalité indénombrable est pour éviter les trivialités : Supposons a une cofinalité dénombrable. Alors est stationnaire dans si et seulement si est borné dans . En particulier, si la cofinalité de est , alors deux sous-ensembles stationnaires quelconques de ont une intersection stationnaire.
Ce n'est plus le cas si la cofinalité de est indénombrable. En fait, supposons est de plus régulier et est stationnaire. Alors peut être partitionné en plusieurs ensembles stationnaires disjoints. Ce résultat est dû à Solovay. Si est un cardinal successeur, ce résultat est dû à Ulam et se montre facilement au moyen de ce qu'on appelle une matrice de Ulam.
H. Friedman a montré que pour tout ordinal successeur dénombrable , chaque sous-ensemble stationnaire de contient un sous-ensemble fermé d'ordre de type .
Foreman, Matthew (2002) Ensembles stationnaires, conjecture de Chang et théorie des partitions, dans Set Theory (The Hajnal Conference) DIMACS Ser. Mathématiques discrètes. Théorique. Comp. Sci., 58 ans, américain. Math. Soc., Providence, RI. p. 73–94. Fichier à