La sustitución es un principio en la programación de computadora . Indica que, si S es un subtipo de T, después se opone del tipo T en un programa de computadora puede ser substituida por los objetos del tipo S (es decir, los objetos del tipo S pueden ser substituidos para los objetos del tipo T), sin la alteración de características deseables unas de los de ese programa (corrección, tarea realizada, etc.

Este principio es de uso frecuente en la programación de computadora orientada al objeto .

Ver también

.