Edge-covering-number definitions

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