(n) :
a set of independent edges in a given graph, i.e. a set of edges which do not intersect: so-called because pairs of vertices are "matched" to each other one-to-one
(n) :
a set of independent edges in a given graph, i.e. a set of edges which do not intersect: so-called because pairs of vertices are "matched" to each other one-to-one