Baum-Bereiche

• Def: Menge P⊆$\mathbb {N}$^* heißt Baum-Bereich (tree domain), wenn

  (...es einen Term t gibt, so daß P = Pos(t) — das soll aber ohne Benutzung des Term-Begriffs definiert werden)

  • ε∈P
  • P abgeschlossen unter ...

  definiere und benutze Relationen < _u (up) und < _l (left).

• Def: ein Term t über Signatur Σ ist Abbildung von einem Baumbereich P nach Σ

  oder: partielle Abbildung t : $\mathbb {N}$^* $\hookrightarrow$ Σ mit dom(t) Baumbereich