redundant system

[ریاضیات] سیستم یدک، سیستم مازاد