Defining Constraint Satisfaction Problems