Results 1 to 2 of 2

Math Help - Big Union Big Intersection Proof

  1. #1
    Member
    Joined
    Sep 2008
    Posts
    95

    Big Union Big Intersection Proof

    I'm having trouble working out how to prove the following proposition:

    If A and B are non-empty and ∀X∈A.∀Y∈B. X⊆Y then ∐A ⊆ ∩B.

    I know that ∐A = {x|∃X ∈A. x∈X} and ∩B = {y|∀Y∈B. y∈Y} and to show the subset relation holds I need to show that x∈∐A ⇒ x∈∩B. I feel like I understand why the proposition has to hold intuitively but can't seem to come up with a proof.

    Thanks in advance.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,648
    Thanks
    1596
    Awards
    1
    t \in \bigcup A \, \Rightarrow \,\left( {\exists T \in A} \right)\left[ {t \in T} \right]

    \left( {\forall S \in B} \right)\left[ {T \subseteq S} \right]\; \Rightarrow \;\left( {\forall S \in B} \right)\left[ {t \in S} \right]

    t\in \bigcap B .
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. union/intersection
    Posted in the Geometry Forum
    Replies: 8
    Last Post: March 8th 2011, 01:23 PM
  2. intersection and union proof
    Posted in the Number Theory Forum
    Replies: 1
    Last Post: February 25th 2010, 01:59 PM
  3. Union & Intersection
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: July 16th 2009, 06:54 AM
  4. Replies: 4
    Last Post: October 13th 2008, 07:07 AM
  5. intersection and union
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 8th 2007, 04:24 PM

/mathhelpforum @mathhelpforum