A matching in a directed graph , where , is a subset , such that the edges in do not share vertices. A maximal matching in is a matching in which is not a proper subset of another matching in . A maximum matching in is a matching in of maximum cardinality .