Graph
We define a simple, unlabelled graph G as a pair of two sets:
Where N is a set of nodes and E is a set of edges between the nodes in the graph.
Nodes
N can be defined by a set of pronumerals.
or
The total number of nodes in a graph is denoted:
Edges
E can be defined as a set of unordered pairs where and are called the endpoints of the edge:
The total number of edges in a graph is denoted:
Degree
The degree of a node with 1-based index in the set of all nodes is denoted: