1.the state of being included
2.the relation of comprising something;
he admired the inclusion of so many ideas in such a short work
3.any small intracellular body found within another (characteristic of certain diseases);
an inclusion in the cytoplasm of the cell
4.the act of including
包含多态(inclusion) 同样的操作可用于一个类型及其子类型。(注意是子类型,不是子类。)包含多态一般需要进行运行时的类型检查。如Pascal中的子界。 几点需要注意的地方: 1.包含多态的操作存在着逆单调(Anti-mornotonic)。即一个类型t上的操作,当其定义域缩小成t的一个子类型时,其值域应不小于t.