Topological characterizations of covering for special covering-based upper approximation operators.