Cycle . graph theory
Set
| context | V,E … set |
| definiendum | ⟨V,E,ψ⟩∈it(E,V) |
| inclusion | ⟨V,E,ψ⟩ … path |
| postulate | |V|≥3 |
| range | u,v∈V |
| range | a … sequence in V, ∀i. ai+|V|=ai |
| range | i∈N |
| postulate | ∃a. ∀u,v. (∃i. {ai,ai+1}={u,v})↔({u,v}…edge) |
Discussion
A path is a graph which can fully be described by a repeating sequence of vertices.
Parents
Subset of
