Die Ableitbarkeitsrelation und der Ableitbarkeitsoperator Definition Zur Formalisierung der Ableitbarkeit wird oft der Ableitungsoperator (auch Inferenzoperation) verwendet, der über die Ableitungsrelation (auch Inferenzrelation) definiert wird.