Idempotent semirings with zero = Quantales