From sbelknap@UIC.EDU Sun Mar 05 08:59:33 2000
Received: (qmail 3313 invoked from network); 5 Mar 2000 16:59:47 -0000
Received: from unknown (10.1.10.26) by m3.onelist.org with QMQP; 5 Mar 2000 16:59:47 -0000
Received: from unknown (HELO eeyore.cc.uic.edu) (128.248.171.51) by mta1.onelist.com with SMTP; 5 Mar 2000 16:59:47 -0000
Received: from [128.248.28.106] (slip5a-06.dialin.uic.edu [128.248.28.106]) by eeyore.cc.uic.edu (8.9.3/8.9.3) with ESMTP id KAA05495; Sun, 5 Mar 2000 10:56:52 -0600 (CST)
Mime-Version: 1.0
X-Sender: sbelknap@mailserv.uic.edu
Message-Id: <v04220800b4e83dfc4334@[128.248.28.111]>
In-Reply-To: <20000305014635.18984.qmail@hotmail.com>
References: <20000305014635.18984.qmail@hotmail.com>
Date: Sun, 5 Mar 2000 10:59:05 -0600
To: "Jorge Llambias" <jjllambias@hotmail.com>
Subject: Re: [lojban] Final clubs - the final solution
Cc: lojban@onelist.com
Content-Type: text/plain; charset="us-ascii" ; format="flowed"
X-eGroups-From: Steven Belknap <sbelknap@uic.edu>
From: Steven Belknap <sbelknap@UIC.EDU>

1. Call a set, s, of clubs preclusive if being a member of any one 
of the clubs in s precludes being a member of any other club in s.

2. Call a set, m, of clubs maximally preclusive if it is preclusive 
and every proper superset of of m is not preclusive.

3. Call a set, f, of clubs the set of final clubs if f is the largest 
set of maximally preclusive clubs.

4. Call a club, c, a final club iff it is a member of f.

co'o mi'e stivn

Steven Belknap, M.D.
Assistant Professor of Clinical Pharmacology and Medicine
University of Illinois College of Medicine at Peoria