Терм - это короткая последовательность символов, которая является основной элементарной единицей в логике, математике и программировании. Терм часто описывает объект или значение, и может быть переменной, константой, функцией или выражением, которое составлено из переменных и операторов. Термы используются для описания элементов структур данных, выражений и формул в различных дисциплинах.