Topologies associated with rough automata

It is shown that the concepts of definite (possible) source and definite (possible) successor give rise to two topologies on the state-set of a rough automaton. Further, we show that the connectivity and separation properties of such rough automaton can be discussed in terms of these topologies.