Bestandteil einer Ableitungsumgebung, der die Ableitungsschritte enthält.
Ableitungsmodul und Regeleinträge werden in der Ableitungsumgebung zusammengefasst.