Redefinition link between operations of inherited classes. Redefining an operation preserves the same names and parameters, but may specify the pre and post conditions, and the method's internal behavior