Basic properties of stage extensions
Total stage extensions are stage extensions, but not the other way around.
Not all attack relations have a stage extension. A fortiori, not all attack relations have a total stage extension.
An attack relation can have more than one stage extension/total stage extension.
If an attack relation has one total stage extension all its stage extensions are total.
A well-founded attack relation has a unique total stage extension.
? Example: finite attack relations without attack loops