Transitividad, conjuntos transitivos
Un conjunto A es transitivo si todo elemento a de A es también una parte de A, por consiguiente: (a ∈ A) → (a ⊂ A). Es el máximo equilibrio posible entre pertenencia e inclusión.
Observemos que esto puede escribirse: (a ∈ A) → (a ∈ p(A)). Todo elemento de A es también elemento del conjunto de las partes de A.
Tenemos allí el esquema ontológico de la normalidad: en un conjunto transitivo todo elemento es normal, está presentado (por A) y representado (por p(A)).
