Re: Distributivity in Tropashko's Lattice Algebra

vc wrote:
> 00 union A = 0x, where x is either 0 or 1 depending on whether A is
> empty or not.

It doen't seem to be consistent either.

Let

A = {x=1}
B = {x=2}

Then

A union 00 = 01
B union 00 = 01

And union of the both relations implies

(A union B) union 00 = 01

But A union B is empty, therefore

(A union B) union 00 = 00

! Received on Wed Aug 17 2005 - 15:55:51 CDT