Un lenguaje "L" pertenece a UP si existe un algoritmo "A" de tiempo polinómico con dos entradas y una constante "c" tal que: