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$ ?