Invariant inheritance in object-oriented languages. The overriding method has the same type signature as in the superclass.
A version ofImage:Invarianz Vererbung.svg which omits the text in German
Original by Algos