What does it mean for an edge “to extend to a matching”

definitiongraph theorymatching-theory

I've got a problem that is defined as follows:

Let $G$ be a bipartite (undirected) gaph with vertex classes X, Y. Show that if $G$ has a matching covering every vertex of $X$, then there exists $x\in X$ such that every edge incident with x extends to a matching covering every vertex of $X$.

A matching is by definition a subset of the graphs edge set without common vertices. As such, all edges in the matching are not connected with each other. Because of that, I do not understand what it means for an edge to extend to a matching, as all the edges in a matching cannot be connected but the matching to which the edge "extends to" has to cover all vertices of $X$.

Best Answer

In as many words, they mean that the union of all maximal matchings contains all the edges incident on some $x\in X$.