В объектно ориентированном языке программирования, возможность переопределить процедуру в производном классе (класс, который унаследовал его структур данных и процедур от другого класса).