Transitive set

Transitive set

In set theory, a set (or class) "A" is transitive, if
* whenever "x" ∈ "A", and "y" ∈ "x", then "y" ∈ "A", or, equivalently,
* whenever "x" ∈ "A", and "x" is not an urelement, then "x" is a subset of "A".

The transitive closure of a set "A" is the smallest (with respect to inclusion) transitive set "B" which contains "A". Suppose one is given a set "X", then the transitive closure of "X" is::igcup { X, igcup X, igcup igcup X, igcup igcup igcup X, igcup igcup igcup igcup X, ... } .

Transitive classes are often used for construction of interpretations of set theory in itself, usually called inner models. The reason is that properties defined by bounded formulas are absolute for transitive classes.

An ordinal number may be defined as an hereditarily transitive set, that is, a transitive set whose members are also transitive.

A set "X" is transitive if and only if igcup X subseteq X.

A set "X" which does not contain urelements is transitive if and only if X subset mathcal{P}(X).

Transitive classes

Similarly, a class "M" is transitive if every element of "M" is a subset of "M".

Transitive models of set theory

A transitive set (or class) that is a model of a formal system of set theory is called a transitive model of the system. Transitivity is an important factor in determining the absoluteness of formulas.

ee also

*Union (set theory)
*Power set


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • set — set1 [ set ] (past tense and past participle set) verb *** ▸ 1 put someone/something somewhere ▸ 2 make something happen ▸ 3 make equipment ready ▸ 4 decide time/place/value ▸ 5 establish way to do something ▸ 6 do something that influences ▸ 7… …   Usage of the words and phrases in modern English

  • set — 1 /set/ verb past tense and past participle set PUT DOWN 1 PUT (transitive always + adv/prep) to carefully put something down somewhere, especially something that is difficult to carry: set sth down/on etc: She set the tray down on a table next… …   Longman dictionary of contemporary English

  • set — /set/, v., set, setting, n., adj., interj. v.t. 1. to put (something or someone) in a particular place: to set a vase on a table. 2. to place in a particular position or posture: Set the baby on his feet. 3. to place in some relation to something …   Universalium

  • set up — transitive verb Date: 13th century 1. a. to raise to and place in a high position b. to place in view ; post c. to put forward (as a plan) for acceptance 2. a. to place upright ; erect < set up a statue > …   New Collegiate Dictionary

  • set by — transitive verb 1. obsolete : give up : reject, dismiss 2. : to set apart for future use * * * set by 1. To lay up 2. To put aside …   Useful english dictionary

  • set / sit / seat —    Set is a transitive verb meaning to put or place something solid somewhere : Marvin set his new lamp on the table.    Sit means to rest upright with the weight on the buttocks or to move into such a position ; the past tense is sat: Percy sat… …   Confused words

  • set / sit / seat —    Set is a transitive verb meaning to put or place something solid somewhere : Marvin set his new lamp on the table.    Sit means to rest upright with the weight on the buttocks or to move into such a position ; the past tense is sat: Percy sat… …   Confused words

  • set / sit / seat —    Set is a transitive verb meaning to put or place something solid somewhere : Marvin set his new lamp on the table.    Sit means to rest upright with the weight on the buttocks or to move into such a position ; the past tense is sat: Percy sat… …   Confused words

  • set back — transitive verb Date: 1600 1. to slow the progress of ; hinder, delay 2. cost < a new suit will set you back $200 > …   New Collegiate Dictionary

  • set by — transitive verb Date: circa 1601 to set apart for future use …   New Collegiate Dictionary

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”