The ability of a function to behave differently based on the object it acts upon at runtime.

The ability of a class to be inherited by multiple subclasses.

The ability to write functions that perform different tasks based on arguments at compile time.

The ability of a function to keep changing its return type.