In a correspondence diagram, which visual clue indicates that the underlying relation fails to be a function?

Every input has exactly one outgoing arrow, but some outputs might have no incoming arrows

Some output point has two or more arrows leaving it, pointing to different inputs

There exists a circular arrow from an input back to itself, showing reflexivity in the mapping

Some input point has two or more arrows leaving it, pointing to different outputs