|definition= Вершины двудольного графа, инцидентные ребрам паросочетания <tex>M</tex>, называются '''покрытыми''', а неинцидентные — '''свободными'''.}}
{{Определение
|definition= '''Чередующаяся цепь''' — путь в двудольном графе, для любых двух соседних ребер которого выполняетсяверно, что одно из них принадлежит паросочетанию <tex>M</tex>, а другое нет.}}
{{Определение
|definition= '''Дополняющая цепь''' — чередующаяся цепь, у которой оба конца свободны.}}