or covering, n. 1. a collection of sets whose union contains a given set. 2. (of a graph) see Konig's theorem.