En metode eller variabel i en klasse B siges at være redefineret hvis der findes en metode eller variabel af samme navn i B's superklasse