Necessity to define co-NP in the first place?
We don't define problems to be NP-complete. We define classes of problems, define the concept of completeness for those classes, and then prove that problems are complete, because they have the properties that define completeness.

Analogously, we don't define 13 to be prime; rather, we define the property of being prime and then prove that 13 has that property.