Qualification principle — in programming language theory, the statement that syntactic classes may admit local definitions.