Constraint algebra