Remember, the supertype relation is reflexive.

记住超类型是身。

The same type cannot be the subtype and the supertype.

类型不能既是子类型又是父类型。