Interval function, induced path function, (claw, paw)-free graphs and axiomatic characterizations (Q2181243)

Let \(V\) be an arbitrary set. Map \(R:V\times V\rightarrow 2^V\) is a transit function if \(u\in R(u,v)\), \(R(u,v)=R(v,u)\) and \(R(u,u)=\{u\}\) for all \(u,v\in V\). The most important transit function are yield from different intervals on graphs. So is the geodesic transit function \(I\) defined by geodesic intervals and the monophonic transit function \(J\) by induced intervals. A new axiom \[ (\mathrm{cp})\ v\in R(u,w)\ \text{ and }\ v\in R(u,x) \Rightarrow w\in R(v,x)\ \text{ or }\ x\in R(u,v), \] for all different \(u,v,w,x\in V\), is presented in this work. With axiom (cp) on \(I\) and on \(J\) characterizations of (claw, paw)-free graphs are presented. There are also several results about the position of axiom (cp) with respect to other previously studied axioms as well as some Hamiltonian related results.