262
правки
Изменения
м
Нет описания правки
<tex>P(A) = \{p(A)|\forall \deg p(A)) \}</tex>
<tex>P(A)</tex> - п.п. <tex>X \times X = \{all \forall B:X \to X\}</tex>
<tex>P(A)</tex> - тоже алгебра
0) <tex>p(A) \cdot q(A) \in P(A)</tex>
1) <tex>(p(A) \cdot q(A))r(A) = p(A)\cdot(q(A)*\cdot r(A))</tex>
2) <tex>p(A)*(q(A)+r(A))=p(A)*q(A)+p(A)*r(A)</tex>
Теорема
<tex>P(A</tex>) - подалгебра <tex>X \times X</tex> (коммунитативныекоммутативные)
<tex>S_A:P\to P(A)</tex>
