Irreducibility is open subspace-closed