Matching

A matching in a bipartite graph is a set of edges that do not share any vertices.