Remember, the supertype relation is reflexive.

• 记住超类型的关系是反身的。