Another Algebraic Proof of Bondyʹs Theorem on Induced Subsets

Bondy proved in 1972 that, given a family of n distinct substes of a set X of n elements, one can delete an element of X such that the truncated sets remain distinct. We give a linear algebraic proof of this result and generalize it to codes of minimal distance d.