Par definición-uso

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»).