marriage theorem
Also found in: Wikipedia.
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.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.