Completitud esencial de la clase de controles basados en un proceso suficiente.
Se define en este artículo el concepto de proceso suficiente para un proceso de control, así como el de control basado en un proceso suficiente. Se demuestra a continuación que el conjunto de controles basados en un proceso suficiente forma una clase esencialmente completa; por consiguiente, dado un control, existe un control basado en el proceso suficiente que tiene el mismo coste esperado que el anterior.