  Binary multirelations form a model of alternating nondeterminism useful for
analysing games, interactions of computing systems with their environments or
abstract interpretations of probabilistic programs. We investigate this
alternating structure with inner or demonic and outer or angelic choices in a
relation-algebraic language extended with specific operations on multirelations
that relate to the inner layer of alternation.
