A partial order is series-parallel if and only if it has a realizer in which one of the two permutations is the identity and the other is a separable permutation.
Formulas from a formal theory are realized by objects, known as realizers, in a way that knowledge of the realizer gives knowledge about the truth of the formula.
