If the x- and y-values in a one-to-many relation are reversed, then in the resulting relation ( ) input output value maps to ( ) at least more than no more than exactly one ( ) output input value. This means the resulting relation ( ) might cannot must be a function.