それは反射律（型Aについて、A<:A）と推移律（A<:BかつB<:CならばA<:C）を満たすものである。
在定义子类型关系的几乎所有类型系统中，它是自反的（意味着对于任何类型A有A<:A）和传递的（意味着如果A<:B并且B<:C则A<:C）。