Codénombrabilité
From Wikipedia, the free encyclopedia
En mathématiques, un sous-ensemble codénombrable d'un ensemble X est un sous-ensemble Y dont le complémentaire dans X est un ensemble dénombrable. En d'autres termes, Y contient tous les éléments de X sauf une quantité dénombrable d'entre eux. Par exemple, l'ensemble des rationnels ℚ est un sous-ensemble dénombrable de ℝ donc l'ensemble des irrationnels ℝ\ℚ est un sous-ensemble codénombrable des réels. Si le complémentaire est fini, alors on dit que Y est cofini.
