For this we return to the lexicographic semiring.
we define the T , C lexicographic semiring ( ∪ {∞}, Σ * , ⊕, ⊗,0,1) over a tuple of tropical and left-categorial weights, inheriting their corresponding identity elements.