Substitutieprincipe van Liskov

Het substitutieprincipe (LSP) van Barbara Liskov is een OOP benadering met betrekking op overerving. Het principe luidt als volgt:

Let $q(x)$ be a property provable about objects $x$ of type $T$. Then $q(y)$ should be true for objects $y$ of type $S$ where $S$ is a subtype of $T$.