In classical logic this is the same thing. This is a direct result from Stone's Representation theorem, which says that every Boolean algebra is isomorphic to a field of sets, where $\lnot$ is complement; $\land$ is $\cap$ and $\lor$ is $\cup$.
Since in classical logic we mainly deal with Boolean expressions, this should hint you enough.
When considering FOL (where free variables apply) and a structure $M$ one can consider $\varphi(x)$ to be a formula, then $\{a\in M: M\models\varphi(a)\}$ is empty if and only if $\forall x\lnot\varphi(x)$; and the set is $M$ if and only if $M\models\forall x\varphi(x)$.
Indeed this is a good way to think about the formulae, as subsets of the universe. In such case it is easy to see that $\land$ is $\cap$ and $\lor$ is $\cup$.
The infinite case is slightly more complicated since classical logic does not permit infinitary disjunctions or conjunctions. If one allows that, then the same reasoning as above applies.
Indeed what is the meaning of $x\in\bigcup_{n=0}^\infty A_n$? It means that for at least one $n$ we have $x\in A_n$. If $A_n =\{a\in M : M\models\varphi_n(a)\}$ then $x\in\bigcup A_n$ is to say that $M\models\left(\bigvee_{n=0}^\infty\varphi_n\right)(x)$. It is important to distinct between things we do within the language (i.e. formulae we can write) and things we do in the meta-language (i.e. things we know are true due to "higher" reasonings).