The repeated application of an operation to its
own result I call its successive application ("O' O' O' a"
is the result
of the threefold successive application of
"O'" to "a").
In a similar sense I speak of the successive
application of several operations to a number of
propositions.