包含多态（inclusion）

同样的操作可用于一个类型及其子类型。（注意是子类型，不是子类。）包含多态一般需要进行运行时的类型检查。如Pascal中的子界。

几点需要注意的地方：

1.包含多态的操作存在着逆单调（Anti-mornotonic）。即一个类型t上的操作，当其定义域缩小成t的一个子类型时，其值域应不小于t.