Hey guys. To introduce myself to the forum, I'm a first (going on second) year Computer Science student from Liverpool UK. Just a quick question on a symbol I have come across;

I know the union of sets,

joins all elements in A and B. As far as I can tell from the description it is the union of all the sets

where

is an element of

. The lines being the cardinality of this set which has been joined (union).
Am I close at all to it's meaning? If so, could you then have a big intersect symbol to intersect the sets produced. There is also an example later with

under the big union symbol, is this just a condition for the union operation?