An minimal axiom group of rough set based on generalized relation

Rough set axiomatization is one aspect of rough set study, and the purpose is to characterize rough set theory using independable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. The classical rough set theory is based on equivalent relation, but rough set theory based on generalized relation has been widely applied to the real world. This paper gives some groups of axioms for generalized rough set and the reliability of the axiom group is proved. Simultaneously, the minimization of the axiom group is proved.