On characterizations of a pair of covering-based approximation operators