Reduction theory of covering approximation space