In set theory, a branch of mathematics, a set A {\displaystyle A} is called transitive if either of the following equivalent conditions holds: whenever...
12 KB (1,222 words) - 14:29, 14 October 2024
In mathematics, a binary relation R on a set X is transitive if, for all elements a, b, c in X, whenever R relates a to b and b to c, then R also relates...
17 KB (2,092 words) - 16:24, 29 September 2024
Look up transitivity or transitive in Wiktionary, the free dictionary. Transitivity or transitive may refer to: Transitivity (grammar), a property regarding...
2 KB (236 words) - 08:53, 25 July 2024
Group action (redirect from Transitive (group action))
alternating group is (n − 2)-transitive but not (n − 1)-transitive. The action of the general linear group of a vector space V on the set V ∖ {0} of non-zero vectors...
46 KB (5,669 words) - 16:55, 18 October 2024
transitive closure R+ of a homogeneous binary relation R on a set X is the smallest relation on X that contains R and is transitive. For finite sets,...
17 KB (2,306 words) - 14:45, 25 October 2024
In the mathematical field of graph theory, a transitive reduction of a directed graph D is another directed graph with the same vertices and as few edges...
16 KB (2,279 words) - 19:58, 12 October 2024
Constructible universe (redirect from L (set theory))
which is a subset of the power set of L α {\displaystyle L_{\alpha }} . Consequently, this is a tower of nested transitive sets. But L {\displaystyle L} itself...
32 KB (6,092 words) - 05:10, 28 August 2024
ordinals transitive 1. A transitive relation 2. The transitive closure of a set is the smallest transitive set containing it. 3. A transitive set or class...
91 KB (11,519 words) - 01:11, 8 September 2024
Epsilon-induction (redirect from Axiom of set induction)
defined as transitive sets of transitive sets. The induction situation in the first infinite ordinal ω {\displaystyle \omega } , the set of natural numbers...
24 KB (4,188 words) - 23:33, 10 September 2024
In mathematical set theory, a transitive model is a model of set theory that is standard and transitive. Standard means that the membership relation is...
1 KB (153 words) - 21:30, 19 January 2022
Ordinal number (redirect from Ordinal number (set theory))
a set x: x is a (von Neumann) ordinal, x is a transitive set, and set membership is trichotomous on x, x is a transitive set totally ordered by set inclusion...
48 KB (6,712 words) - 03:10, 2 November 2024
Closure (mathematics) (redirect from Reflexive transitive closure)
is the largest superset of X that has the same rank as X. The transitive closure of a set. The algebraic closure of a field. The integral closure of an...
12 KB (1,786 words) - 22:36, 14 August 2024
Von Neumann universe (redirect from Rank (set theory))
V_{\alpha }} for some ordinal α {\displaystyle \alpha } . Any stage is a transitive set, hence every y ∈ x {\displaystyle y\in x} is already y ∈ V α {\displaystyle...
21 KB (2,809 words) - 09:08, 28 May 2024
coordinates, draw a point at (x,y) whenever (x,y) ∈ R. A transitive relation R on a finite set X may be also represented as Hasse diagram: Each member...
36 KB (3,758 words) - 19:49, 25 October 2024
Subtle cardinal (category Set theory stubs)
subtle cardinal ≤ κ {\displaystyle \leq \kappa } if and only if every transitive set S {\displaystyle S} of cardinality κ {\displaystyle \kappa } contains...
4 KB (569 words) - 06:39, 7 September 2024
antisymmetric, and transitive. A partially ordered set (poset for short) is an ordered pair P = ( X , ≤ ) {\displaystyle P=(X,\leq )} consisting of a set X {\displaystyle...
40 KB (5,388 words) - 09:09, 3 November 2024
the extension property. In other words, for all U ⊂ Vκ there exists a transitive set X with κ ∈ X, and a subset S ⊂ X, such that (Vκ, ∈, U) is an elementary...
7 KB (918 words) - 10:44, 31 October 2024
Reflection principle (redirect from Set-theoretic reflection principles)
where transitive ( x ) {\displaystyle {\text{transitive}}(x)} asserts that x {\displaystyle x} is transitive. Starting with the observation that set parameters...
23 KB (3,584 words) - 23:22, 28 July 2024
Intransitive dice (redirect from Non-transitive dice)
a set of dice is intransitive if the binary relation – X rolls a higher number than Y more than half the time – on its elements is not transitive. More...
19 KB (2,022 words) - 01:21, 23 October 2024
transitive dependency is an indirect dependency relationship between software components. This kind of dependency is held by virtue of a transitive relation...
4 KB (476 words) - 19:06, 2 November 2024
In set theory, a discipline within mathematics, an admissible set is a transitive set A {\displaystyle A\,} such that ⟨ A , ∈ ⟩ {\displaystyle \langle...
782 bytes (88 words) - 06:01, 4 March 2024
Equivalence relation (category Transitive relations)
(transitive). Each equivalence relation provides a partition of the underlying set into disjoint equivalence classes. Two elements of the given set are...
31 KB (4,436 words) - 19:07, 29 October 2024
is a cardinal κ in a model of Zermelo–Fraenkel set theory with the property that for every transitive set M that includes κ and α < κ, there is a nontrivial...
3 KB (271 words) - 09:14, 25 July 2024
Homogeneous relation (redirect from Relation on a set)
nor antisymmetric, let alone asymmetric. Transitive for all x, y, z ∈ X, if xRy and yRz then xRz. A transitive relation is irreflexive if and only if it...
22 KB (2,177 words) - 16:30, 29 September 2024
Supertransitive class (redirect from Super transitive set)
In set theory, a supertransitive class is a transitive class which includes as a subset the power set of each of its elements. Formally, let A be a transitive...
1 KB (159 words) - 09:06, 1 June 2023
Directed acyclic graph (section Reachability relation, transitive closure, and transitive reduction)
relation. In this way, every finite partially ordered set can be represented as a DAG. The transitive reduction of a DAG is the graph with the fewest edges...
45 KB (5,626 words) - 19:17, 2 November 2024
A group G {\displaystyle G} acts 2-transitively on a set S {\displaystyle S} if it acts transitively on the set of distinct ordered pairs { ( x , y ) ∈...
4 KB (614 words) - 16:22, 2 August 2024
the empty set or void set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero. Some axiomatic set theories...
15 KB (2,184 words) - 19:22, 16 October 2024
O r d {\displaystyle Ord} of all ordinals is a set. Then O r d {\displaystyle Ord} is a transitive set well-ordered by ∈ {\displaystyle \in } . So, by...
97 KB (15,657 words) - 00:24, 3 August 2024
other sets. A set may have a finite number of elements or be an infinite set. There is a unique set with no elements, called the empty set; a set with...
41 KB (4,771 words) - 14:39, 2 November 2024