In set theory, a branch of mathematics, a set A {\displaystyle A} is called transitive if either of the following equivalent conditions holds: whenever x ∈ A {\displaystyle x\in A} , and y ∈ x {\displaystyle y\in x} , then y ∈ A {\displaystyle y\in A} . whenever x ∈ A {\displaystyle x\in A} , and x {\displaystyle x} is not an urelement, then x {\displaystyle x} is a subset of A {\displaystyle A} .
In set theory, a branch of mathematics, a set A {\displaystyle A} is called transitive if either of the following equivalent conditions holds: whenever x ∈ A {\displaystyle x\in A} , and y ∈ x {\displaystyle y\in x} , then y ∈ A {\displaystyle y\in A} . whenever x ∈ A {\displaystyle x\in A} , and x {\displaystyle x} is not an urelement, then x {\displaystyle x} is a subset of A {\displaystyle A} .
Source: Wikipedia "Transitive set" · CC BY-SA 4.0
Share this article: X · Bluesky