Redundanttiset
Redundanttiset is a theoretical construct used in discussions of redundancy within collections of items. In this sense, a Redundanttiset is a finite multiset of elements drawn from a universe, augmented with a redundancy relation that marks some elements as redundant because their information is implied by others in the collection.
Formally, let U be a universe and S be a finite multiset of elements from U. A
Properties of a Redundanttiset include a redundancy degree, defined as the number of redundant elements or
Example: a Redundanttiset S = {x, y, x', y'} where x' encodes x and y' encodes y. The
Applications appear in data storage design, error-correcting codes, fault-tolerant systems, and theoretical studies of information redundancy
See also: redundancy, multiset, matroid, information theory, data integrity.