KT法定义