Nomenclature of Sets

I want to understand what's already been done on autocatalytic sets in relation to the Origin of Life. Wim Hordijk and Mike Steel seem to be the leaders in this area so I want to read their 2004 paper on the subject.

Unfortunately, they use Set Theory Nomenclature heavily in the paper (see example at right) and so I need to learn that first. Fortunately, I found this nice primer from Clemson University.

Symbol summary:

• members of a set are put in curly brackets: S = {1,2,3,4}
• x ∈ S means x is a member of set S (∉ means x is not in S)
• ∅ is the empty set
• |S| means the number of elements in the set
• S ⊂ T means S is a subset of T
• S ∩ T means the intersection of sets S and T
• S ∪ T means the union of sets S and T 
• S \ T means the elements in S that are not also in T (difference operator)
• If a reference set is defined as all possible elements, U, then S' is the complement of S and means all elements in U but not in S