Sea "E" un conjunto no vacío.