What does it mean to take the product of two sets of complex numbers as complexes?
Reading this paper: "The Determinant of the Sum of Two Normal Matrices with Prescribed Eigenvalues" by N. Bebiano and J. F. Queiro
Here's the paper:
It refers to products of sets as complexes. Here's a quote
LEMMA 1. If $S$ and $T$ are subsets of a real algebra, then $(\operatorname{conv} S)\cdot (\operatorname{conv} T)$ is a subset of $\operatorname{conv}(S\cdot T)$. [Here $X \cdot Y$ means the product (as complexes) of the sets $X$ and $Y$.]
$\operatorname{conv}$ means convex hull.
I don't understand what kind of product of sets this is. I suspect it is related to topology.
From p. 22 of B. L. van der Waerden, Modern Algebra, Volume I, Revised English Edition, Frederick Ungar Publishing Co., New York, Copyright 1949, 1953: