Description: Any representation of a graph G (especially as extensible structure G = { <. ( Basendx ) , V >. , <. ( .efndx ) , E >. } ) is convertible in a representation of the graph as ordered pair. (Contributed by AV, 7-Oct-2020)