Some \(\alpha\)-semigroups inducing certain lattices (Q1393038)

Let \({\mathcal T}_X\) denote the full transformation semigroup on a finite set \(X\) with more than two elements. An \(\alpha\)-semigroup is any subsemigroup of \({\mathcal T}_X\) which contains the identity map, \(id\), and all constant maps. An equivalence relation \(E\) on \(X\) is a \(T\)-equivalence relation if \((f(x),f(y))\in E\) for all \(x,y\in E\) and \(f\in T(X)\) where \(T(X)\) is an \(\alpha\)-semigroup. The collection of all \(T\)-equivalence relations forms a complete lattice which is denoted by \(T_{\text{eq}}(X)\). Denote the range of a selfmap \(f\) of \({\mathcal T}_X\) by \(\text{ran }f\). Let \(T_E'(X)\) be the \(\alpha\)-semigroup which contains all those functions \(f\) where \(\text{ran }f=\{a,b\}\) with \(a,b\in E\) and let \(T''_E(X)=\{f\in T_E(X):|\text{ran }f|\leq 2\}\cup\{id\}\). The author produces \(\alpha\)-semigroups \(T(X)\subseteq T_E'(X)\) of least possible cardinality such that \(T_{\text{eq}}(X)=\{\delta\}\cup[E,\omega]\) where \(\delta\) is the identity relation on \(X\) and \(\omega\) is the universal relation. He also produces an \(\alpha\)-semigroup \(T(X)\subseteq T''_E(X)\) of least possible cardinality such that \(T_{\text{eq}}(X)=[\delta, E]\cup\{\omega\}\). Finally, he constructs an \(\alpha\)-semigroup \(T(X)\) which is a proper subsemigroup of \(T''_E(X)\) such that \(T_{\text{eq}}(x)=\{\delta,E,\omega\}\). This answers in the negative a question asked by the author in a previous paper.