Is the relation #{(0, 3), (0, -2), (0, 1)}# a function?