Matching

Let be a bipartite graph. A matching from to is a set of edges

where is injective and for all