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: