a relation is a function if it is​