Subtyping is a fundamental concept in type theory and programming languages that allows a type to be substituted for another type, typically a more general one, without affecting the correctness of the program. It enables polymorphism and code reuse by allowing objects of different types to be treated as objects of a common supertype.