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

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

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

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