Liskov substitution principle
Definition from Wiktionary, the free dictionary
Named for Barbara Liskov, who introduced the concept in 1987.
- (object-oriented programming) A principle stating that any type having a subtype should be replaceable by its subtype without altering any of the desirable properties (such as correctness, task performed, etc.) of the program.