Infimum of Subset Product in Ordered Group

Theorem
Let $\left({S, \circ, \preceq}\right)$ be a totally ordered structure.

Suppose that subsets $A$ and $B$ of $S$ admit infima in $S$.

Then the infimum of the subset product $A \circ_{\mathcal P} B$ exists and is equal to $\inf A \circ \inf B$.

Also see

 * Supremum of Product