Recientemente me encontré con esta nota de conferencia sobre Elección Social Computacional de Stanford, donde se introduce un axioma para funciones de elección social llamado "Refuerzo" como un axioma deseable. Estoy tratando de entender este axioma, pero no puedo.
Sea $N$ un conjunto finito de votantes, sea $A$ un conjunto finito de alternativas, sea $\mathcal{P}$ el conjunto de todos los perfiles de orden lineal en $A$, y sea $f:\mathcal{P}\to 2^A$ una función de elección social.
Una función de elección social $f$ es reforzante si para cualquier par de perfiles $P,P’\in\mathcal{P}$ tal que $f(P)\cap f(P’)\neq\emptyset$, $f(P+P’)\subseteq f(P)\cap f(P’)$.
No entiendo el axioma porque no logro entender el significado de sumar dos perfiles de preferencias (es decir, $P+P’$).