A 1-factor of a Graph with Vertices is a set of separate Edges which collectively contain all of the Vertices of among their endpoints.