▗▄▄▄▖▗▞▀▚▖▄▄▄▄ ▄ ■ ▗▞▀▜▌▄ ▄ ▄▄▄ ▗▄▖ ▗▖ ▄▄▄
█ ▐▛▀▀▘█ █ █ ▄ ▗▄▟▙▄▖▝▚▄▟▌█ █ █ █ ▐▌ ▐▌ ▗▖█ █
█ ▝▚▄▄▖█ █ █ ▐▌ ▀▀▀█ ▀▄▄▄▀ ▐▌ ▐▌▄ ▐▌▀▄▄▄▀
█ █ ▐▌ ▄ █ ▝▚▄▞▘▀▄▄▞▘
▐▌ ▀▀▀
Definition: A graph is triple consisting of a vertex set `V(G)`, an edge set `E(G)` and a relation associating with each vertex to two vertices known as endpoints.
Definition: A loop is an edge whose endpoints are equal. Multiple edges are edges that share the same pair of endpoints.