相应的子类型。如果 S 是 T 的子类型，这种子类型关系通常写作 S <: T，意思是在任何需要使用 T 类型对象的"环境中，都可以安全地使用" S 类型的对象。子类型的准确语义取决于具体的编程语言中「X 环境中，可以安全地使用 Y」的意义。编程语言的类型系统定义了各自不同的子类型关系。由于子类型关系的存在，某个对象可能同时属于多种类型，因此，子类型（）是一种类型多态的形式，也被称作子类型多态（）或者包含多态（）。在面向对象程序设计中，多态一般仅指这里所说的「子类型多态」，而「参数多态」则一般被称作泛型