Edge-covering-number definition

(graph theory) The number of edges in a minimum edge cover of a graph, often denoted as .