Description: The value of the "edge function" of a simple graph is a set containing
two elements (the vertices the corresponding edge is connecting).
(Contributed by Alexander van der Vekens, 11-Aug-2017)(Revised by AV, 16-Oct-2020)(Proof shortened by AV, 11-Dec-2020)