Liskov Substitution Principle

SOLID design principle. Relating to types. States essentially that if X is a subtype of Y, then X may be used in substitution of Y without concern for correctness or task performed.