Re: More on lists and sets

vc wrote:
> paul c wrote:
>

>>Mikito Harakiri wrote:
>>
>>>...
>>>Definition. List intersection is a cartesian product with equijoin of
>>>the list nodes and lexicographic order. Example: 1->2->1 /\ 2->1->2 =
>>>2->1->1->2
>>>...
>>
>>I'm struggling with the definition.  If 1 and 2 stand for nodes, aren't
>>the two lists circular?  If that's so, aren't there multiple answers?
>>(or one answer comprising two lists?)
>>

Thanks, vc. I take it that the 'usual' intersection operation isn't commutative.

I was sort of expecting, without any hard reason, that any logical answer would preserve not only the ordering but also the adjacency of the list 'elements' which would make your first example's answer 'undefined' (unless there is some list analogy of the empty set) and make the second example's answer perhaps [1,2], ie., what list can I state that is true of both operands.

pc

>
> This:
>
> 1->2->1 /\ 2->1->2 = > 2->1->1->2
>
> does not make any obvious sense.
>
>
>
>

>>pc