Equation 17.15.2680730711D47C

\begin{equation} \operatorname *{sup}_{i\in I}{}\! {}^{*}\Gamma ^ i\coloneqq \operatorname *{sup}_{J\in \operatorname{Fin}(I)}{}\! {}^{*} \left( \bigvee _{j\in J} \Gamma ^ j\right). \end{equation}