Начальный символ
порождающая грамматика
соответствие, являющееся одновременно однозначным, инъективным и сюръективным; отображение, являющееся одновременно инъекцией и сюръекцией; обозначается X ↔ Y (читается: биекция между множествами X и Y)
порождающая грамматика
точка x0 такая, что f(x0) = 0; можно трактовать как решение уравнения f(x) = 0
цепь, не содержащая цикла (т. е. все ее вершины различны)