在子类之间的语义约束中，表示超类中的对象必须在子类中出现的是()。