Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.

Topic: IMPROVED AXIOM OF REGULARITY... <X1 e X2 e X3 .. e Xn e X1>
Replies: 26   Last Post: May 12, 2012 5:13 PM

 Messages: [ Previous | Next ]
 MoeBlee Posts: 1,277 Registered: 5/9/11
Re: IMPROVED AXIOM OF REGULARITY... <X1 e X2 e X3 .. e Xn e X1>
Posted: May 10, 2012 10:54 AM

On May 9, 5:56 pm, Graham Cooper <grahamcoop...@gmail.com> wrote:
> On May 10, 2:07 am, MoeBlee <modem...@gmail.com> wrote:
>
> Binary Intersection

Binary intersection is just the intersection of two sets. The binary
intersection of x and y is the set of all z such that z is in both x
and in y:

x/\y = {z | zex & zey}

> Is x = {f1 e f2 e f3 e f1} a set?

I didn't use the notation {f1 e f2 e f3 e f1}.

{f1 f2 ... fn}

That is just {f1, f2, ..., fn}. I dropped the commas, since it is just
as clear without commas.

able to recognize that I have proved in Z set theory that there is no
f such that f1 e f2 .. e fn e f1.

MoeBlee

Date Subject Author
5/8/12 Graham Cooper
5/8/12 Graham Cooper
5/9/12 MoeBlee
5/9/12 Graham Cooper
5/9/12 MoeBlee
5/9/12 Graham Cooper
5/10/12 MoeBlee
5/10/12 Graham Cooper
5/10/12 MoeBlee
5/10/12 Graham Cooper
5/11/12 MoeBlee
5/11/12 MoeBlee
5/11/12 Graham Cooper
5/11/12 MoeBlee
5/11/12 Graham Cooper
5/11/12 MoeBlee
5/11/12 Graham Cooper
5/11/12 Graham Cooper
5/11/12 MoeBlee
5/11/12 Graham Cooper
5/11/12 MoeBlee
5/11/12 Graham Cooper
5/11/12 MoeBlee
5/11/12 Graham Cooper
5/12/12 hagman
5/12/12 Graham Cooper
5/12/12 Graham Cooper