Removed unnecessary requirement

Lectures/5_Semester/Functional_Analysis/2023_Konovalov/lectures/1lecture.tex

@@ -155,7 +155,7 @@ \subsubsection*{Определения для топологических пр
 \end{definition}
 
 \begin{definition}
-	Элемент топологии $G$ называется \textit{окрестностью точки $x \in X$}, если $G$ --- открытое множество и $x \in G$. Иногда обозначается как $G(x)$.
+	Элемент топологии $G \in \Tau_X$ называется \textit{окрестностью точки $x \in X$}, если $x \in G$. Иногда обозначается как $G(x)$.
 \end{definition}
 
 \begin{definition}