Espace polonais

Un espace métrisable à base dénombrable (ou séparable, cela revient au même pour un espace métrisable) est un espace polonais si sa topologie peut être définie par une distance qui en fait un espace complet. Tout espace compact métrisable, tout sous-espace fermé ou ouvert d'un espace polonais, tout produit dénombrable d'espaces polonais, tout espace de Banach séparable est un espace polonais.

Quant à l'étant existant — le fameux Dasein des existentialistes —, c'est dans l'espace polonais du Rien que s'accomplit son errance radicivore, c'est-à-dire nulle part.

(Włodzisław Szczur, Mathématique du néant)