Re: sets of sets

This paper was discussed and proposed by Aloha in the following
thread...

http://groups.google.com/group/comp.databases.theory/browse_frm/thread/92e6d4ca5baf9266

It is an introductary paper on ensemblist math..The paper was linked on

http://arxiv.org/PS_cache/cs/pdf/0607/0607039.pdf

The point you have evoked is a direct application of Axiom of Power Set
of Zermelo-Fraenkel on which I encourage you to do some serious reading
for better understanding...Here is a book that may help if you want to
get serious understanding of the matter...

http://www.amazon.fr/exec/obidos/ASIN/3540225250/403-4729874-1286004

In words (source wilkipedia)
"Given any set A, there is a set such that, given any set B, B is a
member of if and only if B is a subset of A"

A direct application for RM was evocated in the thread I mentionned...

Check the below link for more info...

http://en.wikipedia.org/wiki/Axiom_of_power_set

Hope this helps...

paul c wrote:
I'm trying to read a recent paper I found at
http://csr.uvic.ca/~vanemden/Publications/STPCS.pdf

(The description intrigued me because the author is exploring RT. I'll
try to contact the author with my question, but I thought I'd mention it
here as others may be interested.)

Anyway, at the top of page 5, he defines something I can only call
"UNION S" (since I don't know know how to type the set union operator
symbol).

Can anybody suggest whether I'm reading it right? What I think it says
in prose is "the set of x such that x is a member of some subset of S".

Below I've tried to paste the pdf text, not sure how it will show up in
different newsreaders, sorry for breaking the rules with a little bit of
non-text:

Let S be a nonempty set of sets. Then ∪S is defined as {x | ∃S′ ∈ S . x
∈ S′} ...

Then he mentions what I call "INTERSECTION S" which seems to mean the
set of x such that x is a member of all subsets of S", (text pasted
below, I hope):

and ∩S as {x | ∀S′ ∈ S . x ∈ S′}.

p

.

Relevant Pages

  • sets of sets
    ... (The description intrigued me because the author is exploring RT. ... Anyway, at the top of page 5, he defines something I can only call "UNION S" (since I don't know know how to type the set union operator symbol). ... What I think it says in prose is "the set of x such that x is a member of some subset of S". ... Then he mentions what I call "INTERSECTION S" which seems to mean the set of x such that x is a member of all subsets of S",: ...
    (comp.databases.theory)
  • Re: New to group
    ... Last ball guy wrote: ... > Hello, just became a member. ... I have been reading your postings for some ...
    (rec.games.pinball)
  • Re: Im being cyberstalked by my Exhusband
    ... > He has gained entry into my private Mom's groups by posing as a new ... > member, and then reading and printing out every word I have posted to my ...
    (microsoft.public.security)
  • Re: Lahman, how ya doing?
    ... >>>simply because we don't want to expose the other two member vars. ... >> Towards the end of my recent message to Lahman I posed a problem where I ... >C++'s idiom of function pointers. ... >Let me finish reading you post to Lahman and on comp.l.c++ and I'll try ...
    (comp.object)
  • Re: Oefelein Reassigned
    ... Actually it is stunning how little you know about the military. ... I suggest some reading such as joinging as an associate member ...
    (sci.space.policy)