A skein in a graph is a subgraph of that is the union of a collection of paths between two distinct vertices that have only these two vertices in common.
Let be a graph, and and be two distinct vertices of . An -skein of strength , where is a cardinal number, is then the union of a set of paths joining and such that any two of these paths have only and in common. The skein is then also called a -skein.
For a -skein in a finite graph, is a natural number.
The graph displayed in the image contains a 4-skein. The four paths that form the skein connect the pair of vertices and the edges of these paths are indicated by showing them in red. As the graph has no pair of vertices whose degrees are larger than four, it does not contain a 5-skein.
Using the notion of a skein, Menger's theorem can be formulated as follows: