означень коротку формальну запис факту домінування альтернативи а над альтернативою b запишемо так:
2. a}? (iop) b? w (a)}? (iop) w (b)? wj (a)? w (b) I, i = 1,2, ..., m
Якщо все нерівності в вираженні виконуються як рівності, то альтернативи а і b еквівалентні (символ?) по перевагу. Формальна запис такого факту має вигляд а? (Iop) b. p align="justify"> Відносини 1 і 2 не є зв'язковими, так як для довільних векторних оцінок w (a), w (b) частину нерівностей 1 може виконуватися В«в одну сторонуВ», (тобто Wj (a)> ; Wj (b)), a решта - В«в інший бікВ» (Wj (a)
В· вибрати якусь альтернативу;
В· включити її в безліч недомініруемих;
В· взяти чергову альтернативу з вихідного безлічі; назвемо її В«претендентВ»;
В· перевірити, чи не доминируется чи В«претендентВ» альтернативою з безлічі недомініруемих; якщо В«претендентВ» не домінують, то перевірити, чи не домінує він над першою; якщо В«претендент В»домінує, виключити першу альтернативу з числа недомініруемих, аВ« претендента В»включити до числа недомініруемих, інакше -В« претендента В»також включити в число недомініруемих;
В· якщо серед альтернатив вихідного безлічі залишилася хоча б одна ще перевірена на ефективність, призначити її В«претендентомВ», інакше - В«StopВ»; p>
В· послідовно перевіряти, чи не доминируется чи В...