Una expresión lógica que indica las condiciones de entrada que deben cumplirse para que una ruta de programa concreto ser ejecutado.