In this correspondence, we prove the convergence of Luenberger-type observers for systems with implicitly defined outputs.