Introduced by Barbara Liskov A child class must be able to be used in place of a parent class Return types can return a more specific (narrower) type ~(covariance)~ Argument types can accept a more restricted (wider) type ~(contravariance)~ Property types can not change ~(invariance)~