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