Substitutionen: Ordnung

Substitution σ1 mathend000# ist allgemeiner als Substitution σ2 mathend000#:

σ1$ \raisebox{-8pt}[0pt][0pt]{$\stackrel{\displaystyle <}{\sim}$}$σ2$ \iff$τ : σ1oτ = σ2 mathend000#

Beispiele:

Eigenschaften



Johannes Waldmann 2014-03-31