Mas-Colell, Whinston y Green, en la Teoría Microeconómica describir la revelación directa mecanismo es el siguiente:
El empleado la notación es la siguiente:
θ_i: el Jugador i tipo
Θ_i: Conjunto de tipos para el jugador i
S_i Conjunto de estrategias para el jugador i
f: función de elección Social
g: Mecanismo de resultado de la función
X: Conjunto de decisiones colectivas
Si S_i es un conjunto de estrategias y Θ_i es un conjunto de tipos, ¿cómo puede S_i = Θ_i ?