特别是,在形式语言中的符号 F 是函数符号,如果给定任何表示在语言中的一个对象的符号 x,F(x) 也是表示这个语言中一个对象的符号。在有类型逻辑中,F 是带有域类型 T 和陪域类型 U 的函数符号,如果给定表示类型 T 的一个对象的任何符号 x,F(x) 也是表示类型 U 的对象的符号。你可以类似的定义多于一个变量的函数符号,类比于多于一个变量的函数;零 个变量的函数符号简单的是一个常量符号。
现在考虑这个形式语言的模型,它带有类型 T 和 U 被建模为集合 [T] 和 [U],而类型 T 的每个符号 X 被建模为 [T] 中的元素 [x]。则 F 可以被建模为集合