Definition checking is the ability of a compiler to validate a class or function definition against requirements specified on template parameters.
