Мы считаем, что М = N, где N — множество натуральных чисел. Пусть — семейство всех конечных подмножеств множества N, элементы которого мы будем обозначать N, TV, TV . Для любой группы N G обозначим через XN множество альтернатив, доступных группе N, из которого группа должна осуществить свой выбор. Пусть DN — семейство всех возможных задач, с которыми могут столкнуться члены N. Каждый элемент DN задается допустимым множеством, то есть некоторым подмножеством XN, удовлетворяющим каким-либо условиям, а также данными, описывающими окружающую обстановку, включающими, как правило, предпочтения участников на допустимом множестве.