[EM] My brief MMV definition, without any order-ambiguity

[Michael Ossipoff]

I'd intended my brief definitions for MMV in particular, and RP in
general, to be completely independent of any reference to or
implication about order of operations.

But I stated the definitions in the form of instructions for actions.
Because actions take place in time, that implied order, and that made
my brief definitions ambiguous. So I'd like to reword my brief RP and
MMV definitions so that there's no such implication or ambiguity:

General RP definition (without equal defeats):

A defeat contradicts a set of defeats if it's in a cycle consisting
only of it & them.

A defeat is a discarded defeat if it contradicts a set of stronger
defeats that are not discarded defeats.

An alternative is disqualifed from winning if it has a defeat that is
not a discarded defeat

[end of brief general RP definition]

Brief MMV definition:

A defeat contradicts a set of defeats if it is in a cycle consisting
only of it & them.

1. A defeat, D, is a discarded defeat if it contradicts a set of
not-discarded defeats that are stronger than D.

2. Additionally, a defeat, D,  is a discarded defeat if it contradicts
a set of defeats that 1) are not designated as discarded defeats in
paragraphs 1, and 2)consist of one or more defeats equal to D, and one
or more defeats stronger than D.

3. If every alternative has at least one defeat that isn't designated
disqualifed by paragraphs 1 & 2, then, one at a time, in order of
weaker first, designate as discarded, cycles of equal defeats, until
all such cycles have been so designated,or until there is an
alternative that doesn't have a defeat that isn't declared as
discarded by paragraph 1, paragraph 2, or paragraph 3--whichever
happens first.


[end of (maybe not so) brief definition of MMV]

That definition will do, but maybe it isn't any briefer, clearer or
simpler than he usual ordered-procedure RP definitions.

Maybe a more conventional ordered-procedure definition would be
briefer, or at least clearer.

(Of course paragraph 3 _does_ refer to acts done in an order.)

Michael Ossipoff