Hah Ok, added to Zenodo. I historically struggle with disciplines which have "Theory" in the name. The materials feel to me as an easy intro, then rapid cliff. We'll see! (I think my brain is genetically or otherwise not good at this level of abstracting)
AHH. Definition 1.4 and the questions after did it. It went from "Tracking all" to "I don't understand how this follows at all, and this makes no sense to me" 1.3b is a graph, not a union of two graphs?. What are the "two graphs"? What is this operator-like algebra, and what does it have to do with the rest of the definition or the text before and after it? A question about the complement which was never defined? Why are we probably agreeing that {1, 2} contain 3?
Update: Better phrasing I can understand:
"Definition 1.4. The union of two graphs G and H, denoted <>, is a single graph containing all vertices and edges from both. If G and H share no vertices in common, <> is a disjoint union."
For 1.5, I had no idea what the written definition meant, but this does:
```
Definition 1.5. The complement of graph G is the one that has the same vertices, two vertices are connected in G_complement if and only if they are not connected in G.
