рд╕рдореВрд╣ рдФрд░ рд╕рдВрдмрдВрдз
1. рд╕рдорд┐рдХрд░рдг рд╕рдорд┐рддрд┐рдпреЛрдВ рдХреЗ рдирд┐рдпрдо (рд╕рдорд┐рддрд┐ рдХреЗ рдЧреБрдгрдзрд░реНрдо):
$\quad$ (1.1) рд╕рдВрдпреЛрдЬреНрдп рдирд┐рдпрдо
$$A \cup B=B \cup A $$
$$ A \cap B=B \cap A$$
$\quad$ (1.2) рд╕рд╣рдпреЛрдЧреА рдирд┐рдпрдо
$$(A \cup B) \cup C=A \cup(B \cup C) $$ $$ (A \cap B) \cap C=A \cap(B \cap C)$$
$\quad$ (1.3) рд╡рд┐рддрд░рдгреАрдп рдирд┐рдпрдо $$A \cup(B \cap C)=(A \cup B) \cap(A \cup C) $$ $$ A \cap(B \cup C)=(A \cap B) \cup(A \cap C)$$
$\quad$ (1.4) рдбреА-рдореЙрд░реНрдЧрди рдХрд╛ рдирд┐рдпрдо $$(A \cup B)^{\prime}=A^{\prime} \cap B^{\prime} $$ $$ (A \cap B)^{\prime}=A^{\prime} \cup B^{\prime}$$
$\quad$ (1.5) рдкрд╣рдЪрд╛рди рдХрд╛ рдирд┐рдпрдо $$A \cap U=A $$ $$ A \cup \phi=A$$
$\quad$ (1.6) рдкреВрд░рдХ рдХрд╛ рдирд┐рдпрдо
$$A \cup A^{\prime}=U$$ $$ A \cap A^{\prime}=\phi$$ $$ \left(A^{\prime}\right)^{\prime}=A$$
$\quad$ (1.7) рдЙрджрд┐рдд рдирд┐рдпрдо $$A \cap A=A$$ $$ A \cup A=A$$
2. рд╕рдорд┐рддрд┐ рдореЗрдВ рддрддреНрд╡реЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдкрд░ рдХреБрдЫ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдкрд░рд┐рдгрд╛рдо:
$\quad$ рдпрджрд┐ $A, B, C$ рд╕реАрдорд┐рдд рд╕рдорд┐рддрд┐рдпрд╛рдБ рд╣реИрдВ рдФрд░ $U$ рд╕реАрдорд┐рдд рд╡рд┐рд╢реНрд╡ рд╕рдорд┐рддрд┐ рд╣реИ, рддреЛ
$\quad$ (2.1) $$n(A \cup B)=n(A)+n(B)-n(A \cap B)$$
$\quad$ (2.2) $$\quad n(A-B)=n(A)-n(A \cap B)$$
$\quad$ (2.3) $$n(A \cup B \cup C)=n(A)+n(B)+n(C)-n(A \cap B)-n(B \cap C)-n(A \cap C)+n(A \cap B \cap C)$$
$\quad$ (2.4) рд╕рдорд┐рддрд┐рдпреЛрдВ $A, B, C$ рдореЗрдВ рд╕реЗ рдмрд╕ рджреЛ рдореЗрдВ рддрддреНрд╡реЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛
$$n(A \cap B)+n(B \cap C)+n(C \cap A)-3 n(A \cap B \cap C)$$
$\quad$ (2.5) рд╕рдорд┐рддрд┐рдпреЛрдВ $A, B, C$ рдореЗрдВ рд╕реЗ рдмрд╕ рдПрдХ рдореЗрдВ рддрддреНрд╡реЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ $$ n(A)+n(B)+n(C)-2 n(A \cap B)-2 n(B \cap C)-2 n(A \cap C) +3 n(A \cap B \cap C) $$
$\quad$ (2.6) рдпрджрд┐ $A$ рдореЗрдВ $n$ рддрддреНрд╡ рд╣реЛрддреЗ рд╣реИрдВ, рддреЛ $P(A)$ рдореЗрдВ $2^n$ рддрддреНрд╡ рд╣реЛрддреЗ рд╣реИрдВ
$\quad$ (2.7) рдХрд┐рд╕реА рд╕реАрдорд┐рдд рд╕рдорд┐рддрд┐ рдореЗрдВ рдЕрд╡рд┐рд╕рдВрдЦреНрдп рд╕рдВрдмрдВрдзреЛрдВ рдХреА рдХреБрд▓ рд╕рдВрдЦреНрдпрд╛ $2^n$ рд╣реЛрддреА рд╣реИ
$\quad$ (2.8) рдПрдХ рд╕реАрдорд┐рдд рд╕рдорд┐рддрд┐ рдХреА рдпрдерд╛рд░реНрде рд╕рдВрдмрдВрдзрд┐рдд рд╕рдВрдЦреНрдпрд╛ $2^n - 1$ рд╣реЛрддреА рд╣реИ
$\quad$ (2.9) рдПрдХ рд╕реАрдорд┐рдд рд╕рдорд┐рддрд┐ рдХреА рдЧреИрд░-рдЦрд╛рд▓реА рд╕рдВрдмрдВрдзрд┐рдд рд╕рдВрдЦреНрдпрд╛ $2^n - 1$ рд╣реЛрддреА рд╣реИ
3. рд╕рдореНрдмрдиреНрдз рдХреЗ рдкреНрд░рдХрд╛рд░:
$\quad$ (3.1) рд╢реВрдиреНрдп рд╕рдВрдмрдВрдз
$\quad$ рдпрджрд┐ $\mathrm{A}$ рдПрдХ рд╕реЗрдЯ рд╣реЛ, рддреЛ $\phi \subseteq \mathrm{A} \times \mathrm{A}$ рд╣реИ рдФрд░ рдпрд╣ $\mathrm{A}$ рдкрд░ рдПрдХ рд╕рдВрдмрдВрдз рд╣реИред рдЗрд╕ рд╕рдВрдмрдВрдз рдХреЛ $\mathrm{A}$ рдкрд░ рд╢реВрдиреНрдп рдпрд╛ рдЦрд╛рд▓реА рд╕рдВрдмрдВрдз рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИред
$\quad$ (3.2) рд╕рд░реНрд╡рд╕рд╛рдзрд╛рд░рдг рд╕рдВрдмрдВрдз
$\quad$ рдпрджрд┐ $\mathrm{A}$ рдПрдХ рд╕реЗрдЯ рд╣реЛ, рддреЛ $\mathrm{A} \times \mathrm{A} \subseteq \mathrm{A} \times \mathrm{A}$ рд╣реЛрддрд╛ рд╣реИ рдФрд░ рдпрд╣ $\mathrm{A}$ рдкрд░ рдПрдХ рд╕рдВрдмрдВрдз рд╣реИред рдЗрд╕ рд╕рдВрдмрдВрдз рдХреЛ $\mathrm{A}$ рдкрд░ рд╕рд░реНрд╡рд╕рд╛рдзрд╛рд░рдг рд╕рдВрдмрдВрдз рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИред
$\quad$ (3.3) рдкрд╣рдЪрд╛рди рд╕рдВрдмрдВрдз
$\quad$ рдпрджрд┐ $\mathrm{A}$ рдПрдХ рд╕реЗрдЯ рд╣реЛ, рддреЛ $\mathrm{I}_\mathrm{A}={(a, a): a \in \mathrm{A} }$ рдпрд╣ $\mathrm{A}$ рдкрд░ рдкрд╣рдЪрд╛рди рд╕рдВрдмрдВрдз рдХрд╣рд▓рд╛рддрд╛ рд╣реИред
$\quad$ рдЕрдиреНрдп рд╢рдмреНрджреЛрдВ рдореЗрдВ, рдПрдХ рд╕рдВрдмрдВрдз $\mathrm{I}_\mathrm{A}$ рдХреЛ рдкрд╣рдЪрд╛рди рд╕рдВрдмрдВрдз рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ рдпрджрд┐ $\mathrm{A}$ рдХреЗ рдкреНрд░рддреНрдпреЗрдХ рддрддреНрд╡ рдХреЗрд╡рд▓ рдЕрдкрдиреЗ рдЖрдк рд╕рдВрдмрдВрдзрд┐рдд рд╣реЛрддрд╛ рд╣реИред
$\quad$ (3.4) рдкреВрд░рдХ рд╕рдВрдмрдВрдз
$\quad$ рдПрдХ рд╕реЗрдЯ $A$ рдкрд░ рдПрдХ рд╕рдВрдмрдВрдз $R$ рдХреЛ рдкреВрд░рд┐рдд рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ рдпрджрд┐ $A$ рдХреЗ рдкреНрд░рддреНрдпреЗрдХ рддрддреНрд╡ рдХреЛ рдЙрд╕реА рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдзрд┐рдд рд╣реЛрддрд╛ рд╣реИред рдЗрд╕ рдкреНрд░рдХрд╛рд░, рдПрдХ рд╕реЗрдЯ $A$ рдкрд░ рдПрдХ рд╕рдВрдмрдВрдз $R$ рдЕрд╕рдВрдкреВрд░рд┐рдд рд╣реЛрддрд╛ рд╣реИ рдпрджрд┐ рдРрд╕рд╛ рдХреЛрдИ рддрддреНрд╡ $a \in A$ рд╣реЛ рдЬрд┐рд╕рдХреЗ рд▓рд┐рдП $(a, a) \notin R$ рд╣реЛред
- рдЖрддреНрдордкреНрд░рддрд┐рдмрд┐рдиреНрджреА рд╕рдВрдмрдВрдз рд╕реВрддреНрд░
$$ N = 2^{n^2 - n} $$
рдЬрд╣рд╛рдВ рдПрди рд╕рдВрдЦреНрдпрд╛ рд╣реИрдВ рд░реЗрдлреНрд▓реЗрдХреНрд╕рд┐рд╡ рд╕рдВрдмрдВрдзреЛрдВ рдХреА рдФрд░ рди рд╕рдВрдЦреНрдпрд╛ рд╣реИрдВ рд╕реЗрдЯ рдореЗрдВ рдЖрдЗрдЯрдо, рд╡рд╣ рди рдХреЗ рддрддреНрд╡реЛрдВ рдХреЗ рд╕реЗрдЯ рдкрд░ рд░реЗрдлреНрд▓реЗрдХреНрд╕рд┐рд╡ рд╕рдВрдмрдВрдзреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рджреЗрддрд╛ рд╣реИред
- рдиреЛрдЯ
рд╣рд░ рдкрд╣рдЪрд╛рди рд╕рдВрдмрдВрдз рд░реЗрдлреНрд▓реЗрдХреНрд╕рд┐рд╡ рд╣реЛрддрд╛ рд╣реИ рд▓реЗрдХрд┐рди рд╣рд░ рд░реЗрдлреНрд▓реЗрдХреНрд╕рд┐рд╡ рд╕рдВрдмрдВрдз рд╕рдВрднрд╛рд╡рд┐рдд рдирд╣реАрдВ рд╣реЛрддрд╛ рд╣реИред
(3.5) рд╕рдордорд┐рддрд┐ рд╕рдВрдмрдВрдз:
рдПрдХ рд╕реЗрдЯ A рдкрд░ рдПрдХ рд╕рдВрдмрдВрдз рдЖрд░ R рдХреЛ рд╕рдореИрдХ рд╕рдВрдмрдВрдз рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ рдЬрдм $(a, b) \in R$ рддреЛ $(b, a) \in R$ рд╣реЛрддрд╛ рд╣реИ рд╕рднреА $a, b \in A$ рдХреЗ рд▓рд┐рдПред рдЕрд░реНрдерд╛рдд, $a R b \Rightarrow b R$ рддрднреА рдЬрдм рд╕рднреА $a, b \in A$ рдХреЗ рд▓рд┐рдПред
- рд╕рдордорд┐рддрд┐ рд╕рдВрдмрдВрдз рдХреА рд╕реВрддреНрд░
$$ N = 2^{\frac{n(n+1)}{2}} $$
рдЬрд╣рд╛рдВ N рд╕рдВрдЦреНрдпрд╛ рд╣реИрдВ рд╕рдордорд┐рддрд┐ рд╕рдВрдмрдВрдзреЛрдВ рдХреА рдФрд░ n рд╕рдВрдЦреНрдпрд╛ рд╣реИрдВ рд╕реЗрдЯ рдореЗрдВ рдЖрдЗрдЯрдо, рд╡рд╣ рди рдХреЗ рддрддреНрд╡реЛрдВ рдХреЗ рд╕реЗрдЯ рдкрд░ рд╕рдордорд┐рддрд┐ рд╕рдВрдмрдВрдзреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рджреЗрддрд╛ рд╣реИред
(3.6) рдЕрдиреБрдХреНрд░рдорд┐рдХ рд╕рдВрдмрдВрдз:
A рдХреЛрдИ рднреА рд╕реЗрдЯ рд╣реЛред A рдкрд░ рдПрдХ рд╕рдВрдмрдВрдз R рд╣реЛрддрд╛ рд╣реИрдВ рддрдм рд╡рд╣ рдПрдХ рдЕрдиреБрдХреНрд░рдорд┐рдХ рд╕рдВрдмрдВрдз рдХрд╣рд▓рд╛рддрд╛ рд╣реИрдВ рдЬрдм $(a, b) \in R$ рдФрд░ $(b, c) \in R$ рддреЛ $(a, c) \in R$ рд╣реЛрддрд╛ рд╣реИрдВ рд╕рднреА $a, b, c \in A$ рдХреЗ рд▓рд┐рдПред рдЕрд░реНрдерд╛рдд, $a R b$ рдФрд░ $b R c \Rightarrow a R c$ рддрднреА рдЬрдм рд╕рднреА $a, b, c \in A$ рдХреЗ рд▓рд┐рдПред
(3.7) рд╕рдорддрд╛ рд╕рдВрдмрдВрдз:
рдПрдХ рд╕реЗрдЯ A рдкрд░ рдПрдХ рд╕рдВрдмрдВрдз R рд╡рд╣ рд╕рдорддрд╛ рд╕рдВрдмрдВрдз рдХрд╣рд▓рд╛рддрд╛ рд╣реИрдВ рдЬрдм
-
рдпрд╣ рд░реЗрдлреНрд▓реЗрдХреНрд╕рд┐рд╡ рд╣реЛрддрд╛ рд╣реИрдВ рдЕрд░реНрдерд╛рдд (a, a) $\in R$ рд╣реЛрддрд╛ рд╣реИрдВ рд╕рднреА $a \in A$ рдХреЗ рд▓рд┐рдПред
-
рдпрд╣ рд╕рдореИрдХ рд╣реЛрддрд╛ рд╣реИрдВ рдЕрд░реНрдерд╛рдд (a, b) $\in R \Rightarrow(b, a) \in R$ рд╣реЛрддрд╛ рд╣реИрдВ рд╕рднреА $a, b \in A$ рдХреЗ рд▓рд┐рдПред
-
рдпрд╣ рдЕрдиреБрдХреНрд░рдорд┐рдХ рд╣реЛрддрд╛ рд╣реИрдВ рдЕрд░реНрдерд╛рдд (a, b) $\in R$ рдФрд░ (b, c) $\in R \Rightarrow(a, c) \in R$ рд╣реЛрддрд╛ рд╣реИрдВ рд╕рднреА $a, b \in A$ рдХреЗ рд▓рд┐рдПред
-
A рд╕реЗ A рддрдХ рд╕рдВрдмрдВрдз рд╣реИрдВ рдЬреЛ рд╕рдВрдмрдВрдз рдПрдХ рд╕реВрдХреНрд╖реНрдо рд╕рдорддрд╛ рд╣реЛрддрд╛ рд╣реИрдВ, рдЙрд╕рдХреА рд╕рдВрдЦреНрдпрд╛ $2^{\frac{n^2 - n}{2}}$ рд╣реЛрддреА рд╣реИрдВред