En teoría de conjuntos , una clase supertransitiva es una clase transitiva [1] que incluye como subconjunto el conjunto potencia de cada uno de sus elementos .