请输入要查询的词条内容：
包含多态（inclusion）
同样的操作可用于一个类型及其子类型。（注意是子类型，不是子类。）包含多态一般需要进行运行时的类型检查。如Pascal中的子界。
几点需要注意的地方：
1.包含多态的操作存在着逆单调（Anti-mornotonic）。即一个类型t上的操作，当其定义域缩小成t的一个子类型时，其值域应不小于t.
包含多态_在线百科全书查询
