Relation →β auf Λ (ein Reduktionsschritt)
Kopie von B, jedes freie Vorkommen von x durch A ersetzt
in autotool-Aufgabe: Position des Teilterms angeben, in welchem reduziert werden soll.