Две формулы называются равносильными, если они:

По определению, две вершины называются связанными, если:

Какие из записей являтся формулами, если и - формулы:

В каких случаях формулы и равносильны:

Путь имеет тип цикла, если:

Граф называется гамильтоновым, если он:

Граф называется негамильтоновым, если он:

Путь назвается простым, если:

По определению, граф называется связным, если:

Некоторый простой путь называется полным, если:

Вершина дерева называется концевой вершиной, если: