engl.: substitution principle

Sei S ≤ T; dann ist an allen Programmstellen, an denen ein Objekt vom Typ T zulässig ist, auch ein

Objekt vom Typ S zulässig.

• Wird auch als LSP bezeichnet, „Liskov Substitution Principle“.
• Subtypobjekte müssen alle Eigenschaften des Supertyps aufweisen.
• Eine Ausdruck von einem Subtyp kann an Stellen verwendet werden, an denen in Sprachen ohne Subtypen nur ein Ausdruck von einem allgemeineren Typ zulässig wäre.