Kui Auto, pannakse pöörlema rattad (kasutades realisatsiooni, mis kirjeldatud klassis Auto), kui Laev, siis propeller (kasutades realisatsiooni, mis kirjeldatud klassis Laev). Tehnikat, kus alamklassi objekt toimib nagu ülemklassi objekt, kusjuures defineeritakse üle üks või enam ülemklassi operatsioonidest, nimetatakse polümorfismiks. Polümorfism tähendab, et operatsiooni tegelik realisatsioon sõltub objekti tüübist, millele operatsiooni rakendatakse. Diskriminaatoriga on võimalik näidata, mille alusel üldistatakse/spetsialiseeritakse. Näiteks sõidukite puhul liikumiskeskkond. Piiratud (Constrained) üldistusseos Piirangud üldistusseosel määravad, kuidas üldistusseost kasutatakse ning laiendatakse. Enam kui ühe alamklassiga üldistusseoste jaoks saab defineerida järgmisi kitsendusi: Lõikumine ehk ülekate (Overlapping) Mittelõikuvus (Disjoint) Täielikkus (Complete) Mittetäielikkus (Incomplete).