Subtheories are also possible: for example, difference logic is a sub-theory of linear arithmetic in which each inequality is restricted to have the form formula_4 for variables formula_5 and formula_6 and constant formula_7.
Возможны и подтеории: например, разностная логика — подтеория линейной арифметики, в которой неравенства ограничены следующим видом formula_4 для переменных formula_5 и formula_6 и константы formula_7.