A piecewise relation, at its core, is a relation that is defined by multiple sub-relations, each applying to a certain interval of the domain. These sub-relations are essentially different equations ...