粗糙集理论中粗糙函数定义的改进及粗糙导数性质的证明

• Improvement of Definitions of Rough Function and Proof of Rough Derivative's Properties in Rough Set Theory