A family of sets generates a topology on just in case:

(1) ;

(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.