marriage theorem

(redirected from Hall 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.
Mentioned in ?