オブジェクト指向では、「AはBの一種である」ということがいえる関係のことをIS-A関係という。

例えば、サブクラスはスーパークラスの一種である。というように、次のような形で表します。

[c]
人間は哺乳類の一種である。

哺乳類は動物の一種である。

鳥は鳥類の一種である。

鳥類は動物の一種である。
[/c]

というような例をIS-A関係と考えます。