Představuje operaci, která může účinkovat na prvky objektové struktury, aniž by se měnil kód ve třídách těchto prvků. Zavádí flexibilní alternativu k přidávání kódu polymorfních operací do tříd.