141
правка
Изменения
м
Тире добито
{{Лемма
|statement =
Пусть <tex>\Gamma</tex> {{---}} перечислимое множество образцов, <tex>A_{\Gamma} = \bigcup\limits_{\gamma \in \Gamma}{A_{\gamma}}</tex>.
Тогда <tex>A_{\Gamma}</tex> {{---}} перечислимо.
|proof =
