Defines Convexity and Identity constraints necessary for stepwise linearization of non-linear functions.