A Mesh-Independence Principle for Operator Equations and Their Discretizations