Todos los valores del subárbol izquierdo deben ser menores a "a", todos los valores del subárbol del centro deben estar entre "a" y "a", y todos los valores del subárbol derecho deben ser mayores a "a".