Definition of redundancy