Definição

Um conjunto $M$ de arestas independentes em um grafo $G=(V,A)$ é chamado de emparelhamento, correspondência. Os vértices de tais arestas são chamados de emparelhados.