Definition:Supremum of Set/Real Numbers/Propositional Function/Finite Range

Definition
Let $\left \langle {a_j} \right \rangle_{j \mathop \in I}$ be a family of elements of the real numbers $\R$ indexed by $I$.

Let $R \left({j}\right)$ be a propositional function of $j \in I$.

Let the fiber of truth of $R \left({j}\right)$ be finite.

Then the supremum of $\left \langle {a_j} \right \rangle_{j \mathop \in I}$ can be expressed as:


 * $\displaystyle \max_{R \left({j}\right)} a_j = \text{ The maxmum of all $a_j$ such that $R \left({j}\right)$ holds}$

and can be referred to as the maximum of $\left \langle {a_j} \right \rangle_{j \mathop \in I}$

If more than one propositional function is written under the supremum sign, they must all hold.