transitive

Let $A$ be a set. $A$ is said to be transitive if whenever $x\in A$ then $x\subseteq A$.

Equivalently, $A$ is transitive if whenever $x\in A$ and $y\in x$ then $y\in A$.

Title	transitive
Canonical name	Transitive
Date of creation	2013-03-22 12:13:00
Last modified on	2013-03-22 12:13:00
Owner	Evandar (27)
Last modified by	Evandar (27)
Numerical id	6
Author	Evandar (27)
Entry type	Definition
Classification	msc 03E20
Synonym	transitive set
Related topic	TransitiveClosure