A Gessel--Viennot-type method for cycle systems in a directed graph.
In this paper, we establish a theorem on Möbius inversion over power set lattices which strongly generalizes an early result of Whitney on graph colouring.