is-a
推移律が成立している．
BはAであり，CはBであるとき，CはAである．