Кворум

Кворум - множество наборов процессов такое, что каждые два элемента имеют непустое пересечение.

Кворум замкнут по надмножеству.

Кворум позволяет решить проблему критической секции - нужно лишь спросить все процессы кворума.