marriage theorem


marriage theorem

[′mar·ij ‚thir·əm] (mathematics) The proposition that a family of n subsets of a set S with n elements is a system of distinct representatives for S if any k of the subsets, k = 1, 2, …, n, together contain at least k distinct elements. Also known as Hall's theorem.