Drexel dragonThe Math ForumDonate to the Math Forum

Search All of the Math Forum:

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

Math Forum » Discussions » sci.math.* » sci.math

Topic: Transitive
Replies: 4   Last Post: Apr 27, 2014 5:15 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
David C. Ullrich

Posts: 3,531
Registered: 12/13/04
Re: Transitive
Posted: Apr 26, 2014 2:24 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Sat, 26 Apr 2014 02:09:36 -0700, William Elliot <marsh@panix.com>

>On Sat, 26 Apr 2014, quasi wrote:
>> William Elliot wrote:
>> >If A is a set, T a transitive set and A in T, is A transitive?
>> Not necessarily.
>> Let x be an atom.
>> Let T = {x,{x},{{x}}} and let A = {{x}}.
>> Then T is transitive, and A is in T, but A is not transitive.

>Let x be the empty set. A isn't transitive. If y in A, then
>y = {x} and y isn't a subset of A, because x in y but x not in A.
>So the answer is not always.
>Ordinals are hereditarily transitive.
>Are there other hereditarily transitve sets?


>An hereditarily transitive set is a set for which every element
>is an hereditarily transitive set.

Not quite...

> Is there a formal definition?

Do you have access to the internet?


>An hereditary set is a set for which every element
>is an hereditary set. Is there a formal definition?

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2015. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.