理论力学约束及其分类