Note on the Semiregularization of a Topology

We prove that the family of all $a$-open sets is a topology which is nothing but the family of all $\alpha$-open sets of the semiregularization of the topology. Also, its relationships with other generalized open sets of the semiregularization of the topology are established.