On the idempotent semirings such that 𝒟• is the least distributive lattice congruence | Synapse