Bäume, Terme

• Graphentheorie: Baum ist kreisfreier zusammenhängender Graph

  (d. h. ungerichtet, ungeordnet)

• Algebra: ein Term ist ein Baum mit
  • markierten Knoten (Funktionssymbole)
  • gerichteten Kanten (von der Wurzel weg)
  • geordneten Kindern (nicht Menge, sondern Liste)

Wenn f ein Symbol und k$\ge$ 0 und t₁,..., t_k Terme, dann ist auch f (t₁,..., t_k) ein Term.