4551
правка
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
Строка 29: | Строка 29: | ||
Согласно определению в [3], для любых двух множеств A и B множество пар <math>\mathcal{P} = \{ P_1, P_2, ..., P_m | Согласно определению в [3], для любых двух множеств A и B множество пар <math>\mathcal{P} = \{ P_1, P_2, ..., P_m \} \;</math>, где <math>P_i = (A_i, B_i) \;</math>, называется попарной [[Decomposition|декомпозицией]] (A, B) (или A, если A = B) в случае, если | ||
• Для всех значений индексов i верно | • Для всех значений индексов i верно <math>A_i \subseteq A \;</math>, <math>B_i \subseteq B</math>. | ||
• | • <math>A_i \cap B_i = \empty</math>. | ||
• Для любых двух элементов a | • Для любых двух элементов <math>a \in A, b \in B \;</math> существует уникальный индекс i, такой, что <math>a \in A_i, b \in B_i \;</math>. Будем говорить, что (a, b) ''покрыты'' парой <math>(A_i, B_i) \;</math>. | ||
правка