Liskov substitution principle

From Wiktionary, the free dictionary