Tag: which piecewise relation defines a function?