Estas propiedades son muy importantes para garantizar la corrección de los programas que tratan la información.