  Given a variation of Hodge structures on a quasi-projective base $S$, whose
generic Mumford-Tate group is non-product, we prove that the (countable) union
of positive components of the Hodge locus is either an algebraic subvariety of
$S$, or is Zariski-dense in $S$.
