Определение пути: нужен ли пустой путь.

[gsvgit]

Определение 1.1.3 не позволяет путю быть пустым. При таком подходе определение 1.1.4 (достижимость) не позволяет вершине быть достижимой из самой себя без явных петель. Нормально ли это?

[gsvgit]

Вроде как-то выкрутился.