Um dos conceitos da Programação orientada a objetos trata um tipo de relacionamento que define que uma classe "é um" de outra classe como, por exemplo, a classe Funcionário que é uma Pessoa, assim um Funcionário tem um relacionamento com a classe Pessoa. Dos conceitos abaixo, aquele que se refere a esse tipo de relacionamento chama-se: