What Makes A Relation A Function