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. can also be denoted , which denotes vertex. They are interchangable.

Nodes

N can be defined by a set of pronumerals.

or

where:

Edges

E can be defined as a set of unordered pairs where and are called the endpoints of the edge:

where:

Degree

The degree of a node with 1-based index in the set of all nodes is denoted: