4.1.8.2.1 Arc and ArcSet

 type Arc = [initial: DSName, final: DSName]
 type ArcSet = set of Arc