# Name of an algebraic structure that is an idempotent semiring but does not have right distributivity

As the title implies, I am looking for the right name for an algebraic structure, which is exactly as an idempotent semiring, apart from the fact that multiplication does not right-distribute over addition.

The name I would imagine is something like "idempotent left semiring", since multiplication still left-distributes over addition, but I'm unable to find a proper reference in the literature.

To make things clear, by semiring I mean an algebraic structure in which there is an associative and commutative additive operator ("$+$") as well as an associative multiplicative operator ("$*$"), which is both left- and right-distributive over addition. An idempotent semiring is a semiring in which both operators are idempotent.

(I also posted this question on "Mathematics", but, on second thoughts, I feel mathoverflow is the right forum for it. Apologies if my assumption is wrong.)

• No, math.stackexchange is the right forum for it. I imagine that most terminology questions belong there, since this forum is more for research-level questions. – rschwieb Oct 11 '17 at 13:14
• How close is this structure to a lattice? Maybe you seek a semilattice with additional operators. Gerhard "Consider The Ups And Downs" Paseman, 2017.10.11. – Gerhard Paseman Oct 11 '17 at 14:40
• @rschwieb I disagree. The research community may have greater experience and awareness of the research literature. (I had a question about terminology concerning "monoids in the category of Banach spaces and bounded linear maps", and someone here was able to point to some terminology in the literature) – Yemon Choi Oct 12 '17 at 0:19
• @YemonChoi Ik, I'll keep it in mind in the future. I was going by the guidelines I've seen in the past on both sites, but since I not very active here, I haven't had a chance to come across nuances like this one. – rschwieb Oct 12 '17 at 10:50