Description: Define the redundancy predicate. Read: A is redundant with respect to
B in C . For sets, binary relation on the class of all redundant
sets ( brredunds ) is equivalent to satisfying the redundancy predicate.
(Contributed by Peter Mazsa, 23-Oct-2022)