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,156
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>
wrote:

>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?


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

>
>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?

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

>
>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-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.