Terminierung

<=> Algorithmus

<== korrekt, Korrektheit