Il-Liskov Substitution Principle (LSP) jiddikjara li oġġetti ta' subtype jridu jkunu sostitwibli għall-tip bażi tagħhom mingħajr ma jinqasru l-korrettezza tal-programm. Jekk il-kodiċi jaħdem ma' Base, irid jaħdem ma' kwalunkwe Subclass — l-istess aspettattivi tal-imġieba, l-ebda sorpriżi.
