Rough set theory and application