Un program folosește mai multe tipuri de obiecte, fiecare cu propria variabila.

O clasă are mai multe metode cu același nume dar cu liste de parametri diferite.

O singură clasă are mai multe subclase.

Aceeași variabilă este folosită cu diverse tipuri înrudite de obiecte, în locații diferite, în cadrul unei aplicații.