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

where is injective and for all