Meaning of a union symbol in front of a set?

  1. I'm trying to read this book "Automata, Computability, and Complexity" by Elaine Rich and on page 75 it defines this function: [itex]\delta'(Q,c) = \cup\{eps(p):\exists q\in Q((q,c,p)\in\Delta)\}[/itex]
    I've never seen the union operator used in this way. What does it mean?
    Apologies if this is in the wrong section.

    Edit: I don't care what the stuff inside the brackets means. I understand that part. I'm asking, what does [itex]\cup[/itex] mean when it's front of any set? It could be something like [itex]\cup\{x:x\in\mathbb{R}\}[/itex]
     
    Last edited: Sep 10, 2011
  2. jcsd
  3. micromass

    micromass 18,455
    Staff Emeritus
    Science Advisor

    A union in front of a set is written when the elements in the set are sets themselves. So for example, we can have

    [tex]\bigcup \{A~\vert~A\in \mathcal{A}\}[/tex]

    this just means to take the union of each element in the set. That is:

    [tex]\bigcup_{A\in \mathcal{A}}{A}[/tex]

    Writing [itex]\cup \{x~\vert~x\in \mathbb{R}\}[/itex] doesn't make much sense since the element of [itex]\mathbb{R}[/itex] aren't sets (unless you see them as Dedekind cuts).
     
  4. That explains things. Thanks!
     
Know someone interested in this topic? Share a link to this question via email, Google+, Twitter, or Facebook