También puede ser usado para construir un contraejemplo para probar que no es cierta la proposición de que todos los elementos tienen una cierta propiedad.