Definition

(Topological Space) is measurable if .