Dear Raul, you wrote (14 Nov 2002): > Definition: An option C is in the Schultz set if there is no > other option D such that C transitively defeats D AND D does > not transitively defeat C. I guess you mean: > Definition: An option C is in the Schultz set if there is no > other option D such that D transitively defeats C AND C does > not transitively defeat D. Markus Schulze