Exchange of Order of Supremum Operators

Theorem
Let $\left \langle {a_i} \right \rangle_{i \mathop \in I}$ be a family of elements of the non-negative real numbers $\R_{\ge 0}$ indexed by $I$.

Let $\left \langle {b_j} \right \rangle_{j \mathop \in J}$ be a family of elements of the non-negative real numbers $\R_{\ge 0}$ indexed by $J$.

Let $R \left({i}\right)$ and $S \left({j}\right)$ be propositional functions of $i \in I$, $j \in J$.

Let $\displaystyle \sup_{R \left({i}\right)} a_i$ and $\displaystyle \sup_{S \left({j}\right)} b_j$ be the indexed suprema on $\left \langle {a_i} \right \rangle$ and $\left \langle {b_j} \right \rangle$ respectively.

Then:
 * $\displaystyle \sup_{R \left({i}\right)} \left({\sup_{S \left({j}\right)} a_{i j} }\right) = \sup_{S \left({j}\right)} \left({\sup_{R \left({i}\right)} a_{i j} }\right)$