Returned the injectiveness constraint for SetMapper back