Description: A pair <. F , P >. represents a path if it represents either a simple path or a cycle. The exclusivity only holds for non-trivial paths ( F =/= (/) ), see cyclnspth . (Contributed by AV, 2-Oct-2025)