Las entidades deben depender de abstracciones, no concretos. Un módulo de alto nivel no debe depender del módulo de bajo nivel, pero ambos deben depender de una abstracción.

Un cliente nunca deber ser obligado a implementar una interfaz que no usa o forzado a depender de métodos que no emplea…

Sea q(x) una propiedad provable de objetos x de tipo T, entonces q(y) debe ser provable para los objetos y de tipo S, siendo S un subtipo de T.

Los objetos o entidades deben estar abiertos para extenderse pero cerrados para modificarse…

Establece que cada clase debe tener solamente una razón de cambio, es decir, un único trabajo a realizar…