On 1 Jul 2002 23:54:54 -0000 Lars Henrik Mathiesen <[EMAIL PROTECTED]> wrote:
: However, by the definition of partial order (reflexive, antisymmetric, : transitive), all nodes have such a relation --- which does not create : a cycle --- but it can be omitted (inferred) if the node is mentioned : in other relations. The question then is if it must be omitted in that : case: and you answer no. I see that point in the rules as a particular case of the fact that partial orders are not total. Given this input a b c d e e what would be considered as valid outputs? -- fxn
