Определение рефлексивно-транзитивного замыкания вынесено выше, в общую теорию.

Author: gsvgit

tex/Context-Free_Languages.tex

@@ -41,10 +41,6 @@ \section{Основные определения}
     \end{itemize}
 \end{definition}
 
-\begin{definition}[Рефлексивно-транзитивное замыкание отношения]
-    \emph{Рефлексивно-транзитивное замыкание отношения}~--- это наименьшее рефлексивное и транзитивное отношение, содержащее исходное.
-\end{definition}
-
 \begin{definition}[Отношение выводимости]
     \emph{Отношение выводимости} является рефлексивно-транзитивным замыканием отношения непосредственной выводимости; обозначается $\derives$.
     \begin{itemize}