All functions are relations
5