Вираз, який описує суперпозицію та містить функціональні знаки, круглі дужки й символи змінних, називають формулою.