லிஸ்கோவ் பிரதிமாற்ற கொள்கை (LSP) என்பது சப்டைப்பின் பொருட்கள் அவற்றின் அடிப்படை வகைக்கு பதிலாக இருக்க வேண்டும் என்று கூறுகிறது நிரலின் சரியான நிலையை முறிக்காமல். Base உடன் பணிபுரியும் கோடு Subclass உடনும் பணிபுரிய வேண்டும் — அதே நடத்தை எதிர்பார்ப்புக்கள், எந்த ஆச்சரியமும் இல்லை.
நியமிত மீறல்: Square extends Rectangle
{
w, h;
{ .w = w; }
{ .h = h; }
{ w * h; }
}
{
{ .w = w; .h = w; }
{ .w = h; .h = h; }
}
{
r.setWidth();
r.setHeight();
r.area() == ;
}
