Определение альтернатив

Ниже приводится список формальных требований к альтернативам. Сначала основные определения:

Выбор кандидата происходит по следующим принципам:

В любой момент система альтернатив должна находиться в целостном состоянии. Требования к целостности приведены ниже:

Перечисленных требований должно быть достаточно чтобы любая их реализация работала корректно и без сбоев.