Thank you! I was looking for this.
Then +i∈IVi, ∙i∈IVi, ∗i∈IVi can be written via
$\newcommand{\bigplus}{\mathop{\Large+\normalsize}} \bigplus_{i \in I}Vi$ $\newcommand{\bigdot}{\mathop{\Large•\normalsize}} \bigdot_{i \in I}Vi$ $\newcommand{\bigmult}{\mathop{\Large*\normalsize}} \bigmult_{i \in I}Vi$
Thank you! I was looking for this.
Then +i∈IVi, ∙i∈IVi, ∗i∈IVi can be written via