En otras palabras, afirma que un conjunto está determinado por su extensión (todos sus elementos).