すなわち、A{\displaystyleA}がB{\displaystyleB}の派生型であるとき、型がA{\displaystyleA}である全ての項は型がB{\displaystyleB}でもある。
某些有类型lambda演算介入“子类型”的概念，就是说如果A{\displaystyleA}是B{\displaystyleB}的子类型，则类型A{\displaystyleA}的所有项也有类型B{\displaystyleB}。