defines an injective map of the vertex set V (M i ) into V (X i ) and V (Y ) where each vertex in V (Y ) is only mapped once. We can therefore identify the vertices of M i with a subset of the vertices of X i and, by a slight abuse of notation, simply write