Let $ \phi (x) $ be a property provable about objects $ x $ of type $ T $. Then $ \phi (y) $ should be true for objects $ y $ of type $ S $ where $ S $ is a subtype of $ T $. $ T $ 型のオブジェクト $ x $ に関して真となる属性を $ q(x) $ とする。このとき $ S $ が $ T $ の派生型であれば、$ S $ 型のオブジェクト $ y $ について $ q(y) $ が真となる。