En la teoría de la elección social , el dominio irrestricto , o universalidad , es una propiedad de las funciones de bienestar social en las que se permiten todas las preferencias de todos los votantes (pero ninguna otra consideración). Intuitivamente, el dominio irrestricto es un requisito común para las funciones de elección social y es una condición para el teorema de imposibilidad de Arrow .
Con un dominio irrestricto, la función de bienestar social tiene en cuenta todas las preferencias entre todos los votantes para producir una clasificación única y completa de las opciones sociales. Por lo tanto, el mecanismo de votación debe tener en cuenta todas las preferencias individuales, debe hacerlo de manera que resulte en una clasificación completa de las preferencias de la sociedad y debe proporcionar de manera determinista la misma clasificación cada vez que las preferencias de los votantes se presentan de la misma manera.
El dominio ilimitado es una de las condiciones del teorema de imposibilidad de Arrow. Según ese teorema, es imposible tener una función de elección social que satisfaga el dominio ilimitado , la eficiencia de Pareto , la independencia de alternativas irrelevantes y la no dictadura . Sin embargo, las condiciones del teorema pueden cumplirse si se elimina el dominio ilimitado.
Duncan Black definió una restricción a dominios de funciones de elección social denominadas "preferencias de un solo pico" . Según este principio, todas las opciones tienen una posición predeterminada a lo largo de una línea, lo que les da un orden lineal. Cada votante tiene un lugar especial que le gusta más en ese sentido. Su orden de las opciones está determinado por sus distancias desde ese lugar. Por ejemplo, si se votara sobre dónde ajustar el volumen de la música, sería razonable suponer que cada votante tenía su propia preferencia de volumen ideal y que a medida que el volumen fuera progresivamente demasiado alto o demasiado bajo estarían cada vez más insatisfechos. Black demostró que al reemplazar el dominio irrestricto con preferencias de un solo pico en el teorema de Arrow se elimina la imposibilidad: hay dictaduras no eficientes en el sentido de Pareto que satisfacen el criterio de " independencia de alternativas irrelevantes ". Sin embargo, la prueba de Black de 1948 se publicó antes de que se publicara el teorema de imposibilidad de Arrow en 1950 y, por lo tanto, no consideró completamente el criterio de "dominio sin restricciones" de Arrow.