In Section 2.1 we define an argumentation network using typed binary relations. We then write definitions for properties of the network. The example we used was a transitive relation over the network:
where L is the binary relation defining the network (we ignore typing of links here for simplicity) and P is the transitive relation.