Description: The edge function of a simple graph is a one to one function. (Contributed by Alexander van der Vekens, 18-Nov-2017) (Revised by AV, 15-Oct-2020)