Is-a

Uma relação de herança ou subtipagem em programação orientada a objetos, onde uma classe B 'é um' tipo de classe A. Por exemplo, um 'Cachorro' é um 'Animal'.