On rough sets induced by fuzzy relations approach in semigroups

In this paper, we introduce a rough set in a universal set based on cores of successor classes with respect to level in a closed unit interval under a fuzzy relation, and some interesting properties are investigated. Based on this point, we propose a rough completely prime ideal in a semigroup structure under a compatible preorder fuzzy relation, including the rough semigroup and rough ideal. Then we provide sufficient conditions for them. Finally, the relationships between rough completely prime ideals (rough semigroups and rough ideals) and their homomorphic images are verified