Journal article: We axiomatize, in the multidimensional case, a social evaluation function that can accommodate a natural Pigou–Dalton principle and correlation increasing majorization. This is performed by building upon a simple class of inframodular functions proposed by Müller and Scarsini under risk.