Redundancy In Information Theory