Let X be a Polish space, that is, a topological space such that there is a metric d on X which defines the topology of X and which makes X a complete separable metric space.
Nechť X je polský prostor, tj. topologický prostor takový, že existuje metrika d na X, která definuje topologii X, a díky které je X úplný separabilní metrický prostor.