公式

在数学、物理学、化学、生物学等自然科学中用数学符号表示几个量之间关系的式子。

就是说，一组常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数(arity）来指示它所接受的参数的数目。