Нехай задано множину елементарних функцій $Q = \{f_1, ..., f_m\}$ . Символи змінних $x_1, ..., x_n$ уважають формулами глибиною 0.