“…In recent years, it has attracted much research interest with a series of significant problems proposed. For example, different approximation models have been constructed [5,30,34,40], covering reduction problems have been defined [7,24,31,39], generalization works have been conducted [6,8,14,32,37] and combinations with other theories have been made [10,11,22,29,33]. Specifically, axiomatization of covering approximation operators has become a hot issue.…”