Subclasses should be substitutable for their base classes.

• 子类应该可以替换其基类。