A family of sets generates a topology on just in case:
(2) such that ;
(3) for such that .
Your collection satisfies these requirements. In fact, notice that the second term of the union is superfluous, and that . Given that is finite, this means , i.e. it generates the discrete topology.
I'm not sure what you mean by realizing a cover of a family of sets though.