5.2521 I call the repeated application of an operation to its own result its successive application (“O’ O’ O’ a” is the result of three successive applications of “O’ ξ” to “a”).

In a similar sense I speak of the successive application of multiple operations to a number of propositions.

OK, definition.