Travel groupoids
In this paper, by a travel groupoid is meant an ordered pair such that is a nonempty set and is a binary operation on satisfying the following two conditions for all : Let be a travel groupoid. It is easy to show that if , then if and only if . We say that is on a (finite or infinite) graph if and Clearly, every travel groupoid is on exactly one graph. In this paper, some properties of travel groupoids on graphs are studied.