In this paper, initial and product graded ditopologies are formulated and accordingly it is shown that dfGDitop is a topological structure over dffex x dffex. By means of spectrum idea, (di)compactness in graded ditological ...