PomeDefinition 21.11.10.6561D15F1216 Given a non-empty family $\{ F_ i\} _{i\in I}$ in $\mathrm{Conv}(N)$, we define
\[ \bigwedge _{i\in I}F_ i\coloneqq \operatorname{CE}\left(\inf _{i\in I} F_ i\right). \]
When the family $I$ is finite, say $I=\{ 1,\ldots ,m\} $, we also write
\[ F_1\land \cdots \land F_ m=\bigwedge _{i\in I}F_ i. \]
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.