Remember, the supertype relation is reflexive.

记超类型的关系身的。

The same type cannot be the subtype and the supertype.

同一类型不子类型又父类型。