Consider the set $$\\\{ (A,B) \in \mathbb{P}^{n\times n-1} \times \mathbb{P}^{n\times n -1} : \text{im}(A) \subseteq \text{im}(B)\\\}.$$ That is, this is the set of pairs of square matrices $(A,B)$ so that the image of $A$ is contained in the image of $B$. Is this Zariski closed? I would be happy if this were at least true over an algebraically closed field.
I tried to write down explicit equations for this, but my first attempt would involved using determinants of submatrices of $A$, and would fail if $A$ was singular. I had thought that this would follow from the projection theorem for for projective varieties, but am unsure.