# Talk:Set is Subset of Union/General Result

Why do we need to be dealing with a power set here? Isn't the non-indexed version just that if $Q$ is a set of sets then $\forall a: a \in Q \implies a \subseteq \bigcup Q$? --Dfeuer (talk) 07:40, 11 January 2013 (UTC)
Let $\mathbb S$ be a set of sets. Then $\displaystyle \forall T \in \mathbb S: T \subseteq \bigcup \mathbb S$.