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 ...

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

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