We formally define dynamic networks in Section 3.1. This representation of networks encompasses the traditional“aggregate”view of networks defined in Section 3.2 and adds the explicit temporal component to the interactions. The time axis is necessary since most spreading processes take place on networks that evolve over time.