Substitutionen: Ordnung

Substitution σ1 ist allgemeiner als Substitution σ2:

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

Beispiele:

Eigenschaften



Johannes Waldmann 2011-01-23