Signature compatible modifications

Semantics preserving extensions

Principle of substitutability


  
subsets are not subtypes

Retiree \not<_{subtype} Person

Read-only substitutability

  • subset subtypes, isomorphically embedded subtypes

slide: The principle of substitutability