conjunto genérico, parte genérica del conjunto de las condiciones
Un subconjunto correcto de las condiciones © es genérico si su intersección con toda dominación que pertenezca a la situación quasi completa en la que figura ©, no es vacía. Un conjunto genérico se indica G.
El conjunto genérico, al "cortar" todas las dominaciones, evita ser discernible en la situación.
Es el esquema ontológico de una verdad.
