PomeDefinition 21.11.11.4D25259F16EC Given a non-empty family $\{ F_ i\} _{i\in I}$ in $\mathrm{Conv}(N)$, we define
\[ \bigvee _{i\in I}F_ i\coloneqq \sup _{i\in I} F_ i. \]
When the family $I$ is finite, say $I=\{ 1,\ldots ,m\} $, we also write
\[ F_1\lor \cdots \lor F_ m=\bigvee _{i\in I}F_ i. \]
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.