Beispiele: Signatur, Terme

• Signatur: Σ₁ = {Z/0, S/1, f /2}
• Elemente von Term(Σ₁):

  Z(),    S(S(Z())),    f (S(S(Z())), Z())

• Signatur: Σ₂ = {E/0, A/1, B/1}
• Elemente von Term(Σ₂): ...