Probably a stupid question here, but I've been beating myself up over it and can't find a resolution. I'm reading a book (Probability: Theory and Examples by Rick Durrett) that defines a semialgebra as:

Already, this seems extremely odd to me because the compliment of a set belongs to the same space as the set itself. The disjoint union introduces another index to each element, if I am understanding that correctly as according to http://mathworld.wolfram.com/DisjointUnion.html" [Broken]. So unless we are dealing with strange sets that include elements of different dimensions, I don't see how this is possible. The book then goes on to show that I clearly have misunderstood something because it then gives an example of a semialgebra:

But if i look at the interval (0,1] in R, then its compliment is
[tex](-\infty,0] \cup (1,\infty)[/tex]
Which is a union of intervals of the real line, not a disjoint union. A disjoint union would seem to have sets of the form [tex](-\infty,0] \times {{0}}[/tex] which don't belong to the real line at all.

Ignore that Wikipedia page. It is irrelevant for this problem. In this problem, a "disjoint union" of sets is a union of sets where the sets are disjoint.

Well that makes a lot more sense then. The last part that confuses me is that I can only write the compliment of that set with an interval that extends to +infinity which is right open, not right closed. How is this problem resolved.