Content deleted Content added
Line 315:
===Boxed product===
In labelled structures, the min-boxed product <math>\mathcal{A}_{min} = \mathcal{B}^{\square}\star \mathcal{C}</math> is a variation of the origional product which requires the element of <math>\mathcal{B}</math> in the product with the minimal label. Similarly, we can also define a max-boxed product, denoted by <math>\mathcal{A}_{max} = \mathcal{B}^{\blacksquare}\star \mathcal{C}</math>, by the same manner.
:<math>A_{min}(
or equivalently,
:<math>
===Example===
|