subtyping

a form of type polymorphism