Definify.com

Definition 2024


Polish_space

Polish space

English

Noun

Polish space (plural Polish spaces)

  1. (topology) A separable, completely metrizable topological space
    is a Polish space