is-a関係
クラスとサブクラスの関係をis-a関係と呼ぶことがあります。
その理由は、サブクラスはスーパークラスの一種なので「サブクラス is-a スーパークラス」という表現方法が自然にできるからです。
「A is-a B」かつ「B is-a C」ならば「A is-a C」なので、is-a関係は推移律が成立します。
またis-a関係は階層構造を持つことができます。
is-a relationship