En Inglés: «definition-use pair».
Par definición-uso es la asociación entre la definición de una variable y el uso de esa variable. Los usos de las variables incluyen operaciones (por ejemplo multiplicación) o dirigir la practica (ejecución/recorrido) de un camino (uso de «predicado»).