16 Library introduction [library]

16.5 Library-wide requirements [requirements]

16.5.4 Constraints on programs [constraints]

16.5.4.5 Derived classes [derived.classes]

Virtual member function signatures defined for a base class in the C++ standard library may be overridden in a derived class defined in the program ([class.virtual]).