The Sets
We have the single primitive set CITIES, which corresponds to the cities in the network. From this primitive set, we form a single derived set, ROADS, to represent the links between the cities. We specify the members of this set. Thus, ROADS is a sparse derived set.