T 型のオブジェクト x に関して真となる属性を q(x) とする。このとき S が T の派生型であれば、S 型のオブジェクト y について q(y) が真となる。 リスコフの置換原則 - WikipediaTの丸の中にあるものすべてq(x)の丸の中にある場合に、SがTの派生型であれ…