A vertex cycle cover is a collection of cycles whose union contains every vertex of a graph; its cycles can overlap. A cycle cover of a directed graph additionally requires directed, vertex-disjoint cycles, and a spanning circuit family can allow overlaps.
