Sea X un conjunto no vacío.