In labelled structures, the min-boxed product <math>\mathcal{A}_{min} = \mathcal{B}^{\square}\star \mathcal{C}</math> is dfineddefined as the product construction with one more requirement that the element with smallest label is in <math>\mathcal{B}</math>. Similar, we can defined a max-boxed product and denoted by <math>\mathcal{A}_{max} = \mathcal{B}^{\blacksquare}\star \mathcal{C}</math>, where the element with largest label is in <math>\mathcal{B}</math>. We have,