Re: More on lists and sets




vc wrote:
Mikito Harakiri wrote:
It is remarkable that list intersection laws mimic the ones for the
union:
A /\ A != A

This is not correct.

Let A = 1->1. Then A /\ A = 1->1->1->1.

.