Idempotent semirings with a commutative additive reduct (Q1597727)

Let \(\mathbf I\) be the variety of all additively and multiplicatively idempotent semirings, and \({\mathbf S}^+\ell\) the subvariety of all \((S,+,\cdot)\in{\mathbf I}\) for which \((S,+)\) is a semilattice. Then for any nonempty set \(X\) a free semiring \((\overline P_f(F_X),+,\cdot)\in{\mathbf S}^+\ell\) is constructed in the following way. A subsemigroup \(C\) of the semigroup \((S,\cdot)\) is called closed if \(sat,sbt\in C\) implies \(sabt\in C\) for all \(a,b\in S\), \(s,t\in S^1\). For any nonempty subset \(A\) of \(S\) denote by \(\overline A\) the intersection of all closed subsemigroups of \(S\) containing \(A\). If \(P(S)\) is the set of all nonempty subsets of \(S\) and a multiplication on \(P(S)\) is defined by \(A\circ B=\{ab\mid a\in A,\;b\in B\}\), then \((P(S),\cup,\circ)\) is an additively commutative and idempotent semiring. Moreover, \(A\varrho B\Leftrightarrow\overline A=\overline B\) yields a congruence on \((P(S),\cup,\circ)\) such that \(P(S)/\varrho\in{\mathbf S}^+\ell\) if \(S\) is a band. Choosing \(S=F_X\), the free band on \(X\), and \(\overline P_f(F_X)\) as the set of all finite closed subbands of \(F_X\), and defining \(A+B=\overline{A\cup B}\) and \(A\cdot B=\overline{A\circ B}\), the author gets the free semiring mentioned above as a subsemiring of \(P(F_X)/\varrho\).