A multi-projective variety is a closed subvariety of a product of projective spaces $\mathbb{P}^{k_1}\times\mathbb{P}^{k_2}\times\cdots\times\mathbb{P}^{k_n}$.
The object MultiprojectiveVariety is a type, with ancestor classes MutableHashTable < HashTable < Thing.