Die Teilmenge T {\displaystyle {}T} heißt funktional abgeschlossen, wenn für jede Konstante c ∈ S {\displaystyle {}c\in S} das Element c M {\displaystyle {}c^{M}} zu T {\displaystyle {}T} gehört und für jedes k {\displaystyle {}k} -stellige Funktionssymbol f {\displaystyle {}f} und beliebige Elemente m 1 , … , m k ∈ T {\displaystyle {}m_{1},\ldots ,m_{k}\in T} auch f M ( m 1 , … , m k ) {\displaystyle {}f^{M}(m_{1},\ldots ,m_{k})} zu T {\displaystyle {}T} gehört.