A capability of some object-oriented programming languages to determine the type of an object at runtime.