Definition:Active Constraint