A kind of relation that cannot be a function is