Управління та безпека: відмінності між версіями

Вилучено вміст Додано вміст
Рядок 27:
З цієї таблиці видно, що коаліція утворюється лише коли особи <math>A</math> та <math>B</math> однаково вважають ідеї <math>x_{1}</math> та <math>x_{2}</math> істинними.
 
Нехай <math>X</math> - непуста множина, а <math>\Beta(X)</math> - булева алгебра, яка складається з підмножин множини <math>UX,</math> причому <math>X\in\Beta(X).</math> Підмножина <math>M(X)</math> булевої алгебри <math>\Beta(X)</math> називається мажоритарною системою на <math>X,</math> якщо:
* <math>M(X)\neq\emptyset</math>
* разом із кожною підмножиною <math>A</math> множина <math>M(X)</math> містить усі підмножини <math>B</math> такі, що <math>A\subset B</math>;