Zeige, dass die Produktordnung auf ∏ i ∈ I ( M i , ≤ i ) {\displaystyle {}\prod _{i\in I}(M_{i},\leq _{i})} in der Tat eine Ordnung ist.