Данное условие предполагает, что для любой пары альтернатив ai и aj существует такая совокупность предпочтений экспертов, что, согласно результирующему ранжированию альтернатива ai предпочтительнее альтернативы aj.
Формально [Литвак] данное условие предполагает, что для любой пары альтернатив ai и ajсуществуют множества предпочтений экспертов P1, P2,…, Pmи R1, R2,…, Rmтаких, что для P1, P2,…, Pm
(ai,aj)F(P1, P2,…, Pm), а для R2,…, Rm (ai,aj)F(P1,P2,…,Pm).
В группе экспертов не должно быть такого эксперта, что когда он предпочитает альтернативу ai альтернативе aj, то и в результирующем отношении F(P1, P2,…, Pm) альтернатива ai будет предпочтительнее альтернативы aj, независимо от предпочтений всех остальных экспертов, т.е. среди всех предпочтений P1, P2, …, Pm не должно быть такого предпочтения P, что F(P1, P2,…, P,… , Pm) = P.
Эрроу (1951) доказал, что не существует такого ранжирующего отношения, которое удовлетворяло бы одновременно всем условиям А, В, С, D, E.
Другими словами, справедлива следующая теорема (Теорема Эрроу о невозможности): Условия А, В, С, Д и Е несовместны.
Отсюда следует, что не существует процедуры, которая позволяла бы объединить предпочтения экспертов в результирующее отношение, которое удовлетворяло бы этим пяти условиям.
Результирующее отношение удовлетворяет принципу Парето, если
Согласно принципу Парето, если все эксперты предпочитают альтернативу aiальтернативе aj, то и в результирующем отношении альтернатива ai должен быть предпочтительнее альтернативы aj . Точно также, если все эксперты безразличии в выборе между aiи aj, такое же должно быть и результирующее отношение.
Можно доказать, что если результирующее отношение удовлетворяет условиям В,С и D, то оно удовлетворяет и принципу Парето.