Em um programa orientado a objetos, verifica-se que a classe X estende a classe Y. Ou seja, pode-se afirmar, pelos preceitos da POO (Programação Orientada a Objetos), que: