In information theory, redundancy means that a message is encoded and transmitted using more bits that are necessary to encode the message. If a piece of information is redundant, it can be left out, without loss of information. Redudant information such as checksums can be used to detect and correct errors in transmission or storage.