A Mathematical Formalism for the Evaluation of C-space for Redundant Robots