Is the relation #{(4, 2), (5, 2), (6, 2)}# a function?