Про булеві порядки двох перетворень напівгруп

Анотація

Розглядаються напівгрупи $\mathcal{O}(\mathcal{B}_n)$ всіх перетворень, що зберігають порядок, $\varphi : \mathcal{B}_n\rightarrow \mathcal{B}_n$ впорядкованих за вкладенням в булеву $\mathcal{B}_n$ $n$-елементну множину (тобто такі перетворення, що з $A \subseteq B$ випливає $\varphi(A) \subseteq \varphi(B)$) і для напівгрупи $\mathcal{C}(\mathcal{B}_n)$ виконується $\varphi(A)\subseteq A$ для всіх $A \in\mathcal{B}_n$. Порядок напівгруп визначено.