if a relation is a function