Description: The set ( PathsG ) of all paths on G is a set of pairs by our definition of a path, and so is a relation. (Contributed by AV, 30-Oct-2021)