Re: Relational symmetric difference is well defined
From: Vadim Tropashko <vadimtro_invalid_at_yahoo.com>
Date: Tue, 19 Jun 2007 14:08:13 -0700
Message-ID: <1182287293.837064.210420_at_e9g2000prf.googlegroups.com>
Date: Tue, 19 Jun 2007 14:08:13 -0700
Message-ID: <1182287293.837064.210420_at_e9g2000prf.googlegroups.com>
On Jun 19, 1:39 pm, "V.J. Kumar" <vjkm..._at_gmail.com> wrote:
> Vadim Tropashko <vadimtro_inva..._at_yahoo.com> wrote innews:1182272313.867576.114250_at_i38g2000prf.googlegroups.com:
>
> > On Jun 19, 7:50 am, Jan Hidders <hidd..._at_gmail.com> wrote:
> >> On 19 jun, 16:30, "V.J. Kumar" <vjkm..._at_gmail.com> wrote:
> >> > {(x,z)| (Forall y : A(x,y) <-> B(y,z) }
>
> > IMO this formula is much more appreciated now (after 12 exchanges:-)
> > than if Jan posted it immediately to support his statement:
>
> Not so fast, we ain't done yet.
I suspected domain dependence too, but it doesn't seem to be a problem. Received on Tue Jun 19 2007 - 23:08:13 CEST