クラス図
汎化とは、一方のクラス(スーパークラス)がもう一方(サブクラス)に対してより一般的であると考えられることを表す。これはサブクラスのインスタンスがスーパークラスのインスタンスでもあることを意味している。 特化は、汎化の逆である。つまり、サブタイプはスーパータイプを特化したものである。
UMLでは、スーパークラス側に中抜きの三角を記述する事で表現する。
汎化・特化の関係は、"is-a"の関係としても知られる。
「継承」は、特化と関係はあるが同じではない。
汎化・特化の関係において、スーパータイプは"親"、"スーパークラス"、"基底クラス"、"基底タイプ"、"基本型"としても知られる。 サブタイプは"子"、"サブクラス"、"派生クラス"、"派生タイプ"、"派生型"としても知られる。
この関係が生物の個体の親子関係とは類似していないことに注意。
汎化/特化の関係例として、例えば「貨物自動車は車の一種」という関係を挙げるとする。貨物自動車は車から特化され、車は貨物自動車から汎化されたといえる。