text: Факторпространство X/~ вместе с факторотображением q : X → X/~ описывается следующим универсальным свойством: если g : X → Z является непрерывным отображением, таким что если из a ~ b следует g(a) = g(b) для всех a и b из X, то существует единственное отображение f : X/~ → Z, такое что g = f ∘ q.