From jcowan@reutershealth.com Fri Mar 3 07:58:35 2000 X-Digest-Num: 382 Message-ID: <44114.382.2158.959273826@eGroups.com> Date: Fri, 03 Mar 2000 10:58:35 -0500 From: John Cowan Subject: Re: Sets etc. Peter Moulder wrote: > Does `any' above mean `all' or `some'? I've taken it to mean `all'. Me too. > Consider the case where there are two or more clubs, and no club > precludes membership in any other club. What answer would you want > the "definition" to give in this case? I think we can afford to ignore cases where the definition doesn't converge. After all, there really is a Yale and it really does have clubs, some of which are really final. What we want, to paraphrase Chip Delaney, is to know what we are talking about when we are talking about them. > For all values of (C, E, F) within the above domain: > > final(C, E, F) <=> > (all[C1] > ((C1 \in C) > => ((C1 \in F) > <=> (all[F1] > ((F1 \in F) > => ((C1 = F1) > ; (pair(C1, F1) \in E)))))). Looks correct to me. -- Schlingt dreifach einen Kreis vom dies! || John Cowan Schliesst euer Aug vor heiliger Schau, || http://www.reutershealth.com Denn er genoss vom Honig-Tau, || http://www.ccil.org/~cowan Und trank die Milch vom Paradies. -- Coleridge (tr. Politzer)