In that case it is equivalent to saying that if we have several (a finite number of) boxes, each containing at least one item, then we can choose exactly one item from each box.
В цьому випадку вона є еквівалентною вислову, що якщо ми маємо декілька (скінченну кількість) коробок, кожна з яких містить принаймні один елемент, тоді ми можемо вибрати точно по одному елементу із кожної коробки.