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