Lecture overview -- Keyboard shortcut: 'u'  Previous page: Specialization of classes -- Keyboard shortcut: 'p'  Next page: Extension of Classes [Section] -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Alphabetic index  Help page about these notes  Course home    Specialization, Extension, and Inheritance - slide 8 : 40

The Principle of Substitution
When specialization is used in pure form the principle of substitution applies

If B is a subclass of A, it is possible to substitute an given instance of B in place of an instance of A without observable effect