Then a subset of formula_2 is open in formula_2 if and only if it is open in formula_3.
Пусть дано топологическое пространство formula_1, где formula_2 — произвольное множество, а formula_3 — определённая на formula_2 топология.