 Iterated extrema of an array

For a nonempty bounded array of real numbers, taking the supremum of each row and then the supremum of those values gives the supremum of all entries. Every row supremum is bounded by the global supremum; conversely, every entry is bounded by the iterated supremum. The same argument with lower bounds proves ${\inf }_m{\inf }_n{x}_{m,n}={\inf }_{m,n}{x}_{m,n}$. Mixed infima and suprema satisfy the weak minimax inequality rather than an equality in general.