Algebraic characterization of dense-seperability among compact spaces