11
From: Mikito Harakiri <mikharakiri_nospaum_at_yahoo.com>
Date: 23 Aug 2005 17:06:38 -0700
Message-ID: <1124841998.321723.164630_at_g14g2000cwa.googlegroups.com>
Here are two missing elements: 11, and relation complement ^A.
Date: 23 Aug 2005 17:06:38 -0700
Message-ID: <1124841998.321723.164630_at_g14g2000cwa.googlegroups.com>
Here are two missing elements: 11, and relation complement ^A.
Axioms:
A join ^A = 00 join A
A union ^A = 11 union A
00 join 11 = 10
00 union 11 = 01
Needless to say that ^A is a basis for clean definition of minus operator. Received on Wed Aug 24 2005 - 02:06:38 CEST