Talk:Set is Subset of Union/General Result

From ProofWiki
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)
I'll have another look at it now... last night I was falling asleep so I couldn't even make head or tail of it. --Dfeuer (talk) 15:41, 11 January 2013 (UTC)
Nope! Being awake doesn't change anything. It's still utterly opaque. --Dfeuer (talk) 15:42, 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)
Ezzackly. --Dfeuer (talk) 16:10, 11 January 2013 (UTC)
Implemented abcxyz's suggestion. --Dfeuer (talk) 18:31, 11 January 2013 (UTC)