# Talk:Set is Subset of Union/General Result

Jump to navigation
Jump to search

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)

- It makes it much clearer the scope of what is being talked about. Is it wrong? No. --prime mover (talk) 09:27, 11 January 2013 (UTC)

- How is the current version clearer than:
- Let $\mathbb S$ be a set of sets. Then $\displaystyle \forall T \in \mathbb S: T \subseteq \bigcup \mathbb S$.

- as is (currently) done in Set is Subset of Union/Family of Sets? --abcxyz (talk) 16:01, 11 January 2013 (UTC)

- How is the current version clearer than: