Software Engineering KB

Home

❯

05 Software Design and Architecture

❯

00 OOP and SOLID Principles

❯

01 Concept

❯

Liskov Substitution Principle

Liskov Substitution Principle

Feb 10, 20261 min read

  • solid
  • lsp

Liskov Substitution Principle

← Back to SOLID Principles

Subtypes must be substitutable for their base types. If a program uses a base class, it should be able to use any subclass without knowing the difference and without breaking correctness.

Key Properties

  • Behavioral Subtyping
  • Preconditions and Postconditions
  • Invariant Preservation

Related

  • Inheritance (LSP governs proper use)
  • Polymorphism (depends on LSP for correctness)

solid lsp


Graph View

  • Liskov Substitution Principle
  • Key Properties
  • Related

Backlinks

  • SOLID Principles (OOP)
  • Inheritance (OOP)
  • Behavioral Subtyping
  • Invariant Preservation
  • Preconditions and Postconditions

Created with Quartz v4.5.2 © 2026

  • GitHub