In labelled structures, the min-boxed product <math>\mathcal{A}_{min} = \mathcal{B}^{\square}\star \mathcal{C}</math> is defineda asvariation of the origional product construction with one more requirementwhich thatrequires the element with smallest label is inof <math>\mathcal{B}</math> in the product with the minimal label. SimilarSimilarly, we can definedalso define a max-boxed product and, denoted by <math>\mathcal{A}_{max} = \mathcal{B}^{\blacksquare}\star \mathcal{C}</math>, whereby the elementsame with largest label is in <math>\mathcal{B}</math>manner. We have,
