Re: RM and definition of relations/tuples

From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 23 Nov 2005 10:56:10 -0800
Message-ID: <1132772170.550362.107260_at_z14g2000cwz.googlegroups.com>


paul c wrote:
> As for definition 1, I don't see that it 'forces a
> certain order', eg., surely "r:=dom(A_1)xdom(A_2)x...xdom(A_n)" doesn't
> suggest a different relation than "R:=dom(A_n)x ... x dom(A_2) x
> dom(A_1)". If an order were implied wouldn't that suggest that the
> facts might be different if we chose to read the relation in a different
> order?

There was a related thread on sci.math: "Question about associativity of cartesian product" Received on Wed Nov 23 2005 - 19:56:10 CET

Original text of this message