підтипи повинні бути замінні базовими типами

модулі верхнього рівня не повинні залежати від модулів нижнього рівня. Обидва повинні залежати від абстракції. Абстракції не повинні залежати від деталей. Деталі повинні залежати від абстракцій.

клієнти не повинні залежати від методів, які вони не використовують

не повинно бути більше однієї причини для зміни класу

програмні сутності повинні бути відкриті для розширення, але закриті для зміни