Se T é uma classe, e S é uma subclasse de T, então, em todos os lugares onde se pode usar uma instância de T no programa, é possível também usar uma instância de S.
Se T é uma classe, e S é uma subclasse de T, então, em todos os lugares onde se pode usar uma instância de T no programa, é possível também usar uma instância de S.
