CatGloss

Thus a function given simply as a set of ordered pairs does not have a uniquely determined codomain. This may seem a trifling point