In this talk, I will give an overview of the basic notions of rough set theory and the topological notions introduced in the Alternative Set Theory (AST). I will show that the main properties and relations among all the considered concepts have the same formulation both in classical as well as in rough fuzzy set theory. Hence, we can construct models of both theories under the same umbrella. We will show that the basic concepts of rough sets are among some of the topological concepts of AST. The results are presented using the formalism of higher-order fuzzy logic (FTT) and proved syntactically. The talk is an extension of similar talks given earlier in conferences.