Mathew, J.

function graph transit transit function axiom path function betweennes vertex path function j vertice graph g cycle transit axioms interval transit functions result convexity proof 1 ∈ j hhd-free theorem lemma characterization transit function j house subgraph path transit functions length x ∈ j mulder geodesic interval function chord changat monotonicity nebesk structure domino interval function uk +1 property all-paths function ui +1 graph gj transit function r ui ∈ j v-path geodesic induction hypothesis paper interval function i betweenness axioms neighbor path convexity induction non-empty aspect siam j 4 − e function r question study klav žar h.m 2 ∈ j class instance problem all-path mathematics claim hhp-free vk +1 1 → transit axiom 4 ∈ j section v ∈ j ui +3 theory monotonicity axiom 426–433