Определение 1. Две вершины графа называются связными, если в графе существует путь с концами в этих вершинах, и несвязными в противном случае.

Определение 2. Граф называется связным, если любые две его вершины связны, и несвязным в противном случае.

Теорема. Связный граф G(X,T) представляет собой простой цикл тогда, и только тогда, когда каждая его вершина имеет степень 2.