para cada función f de prueba, existe un conjunto de operadores A(f)..., A(f) que, junto con sus adjuntos, están definidos en un subconjunto denso del espacio de Hilbert de estados, conteniendo el vacío.