制約式