Изменения

|statement=<tex>X \times X</tex> - алгебра над <tex>F</tex> (, где <tex>X \times X = \{ \mathcal{A} \colon X \Rightarrow X \}</tex>).