נניח שיש לנו שתי קבוצות זרות, "קבוצת הנשים" ו"קבוצת הגברים", וכל אישה מעוניינת בחלק מהגברים. נשאלת השאלה, באילו תנאים ניתן לשדך לכל אחת מהנשים גבר יחיד שהיא מעוניינת בו (באופן מונוגמי). ברור כי תנאי הכרחי הוא שמספר הגברים יהיה לפחות כמספר הנשים. ניתן להכליל דרישה זו לכל תת-קבוצה של הנשים. כלומר, תנאי הכרחי הוא שכל נשים תהיינה מעוניינות (יחדיו) בלפחות גברים. משפט החתונה של הול טוען כי זהו גם תנאי מספיק.
תהא משפחה של קבוצות סופיות שאינן בהכרח זרות זו לזו. קבוצת נציגים ייחודיים של המשפחה הזו היא קבוצה של איברים כך שכל שני איברים שונים זה מזה, , וכן (איבר זה הוא הנציג של אותה קבוצה).
על פי משפט החתונה, תנאי הכרחי ומספיק לקיום של קבוצת נציגים ייחודיים למשפחת קבוצות נתונה הוא שלכל תת-קבוצה של המשפחה, יתקיים כלומר בכל קבוצות שונות של המשפחה יש לפחות איברים שונים בכל הקבוצות.
קל לראות שהתנאי הכרחי - אם עבור קבוצות כלשהן יש פחות מ- איברים שונים, בהכרח כל בחירת נציגים עבור הקבוצות תהיה כזו שבה נציג אחד נבחר לפחות פעמיים.
המשפט ניתן להרחבה גם עבור מספר אינסופי של קבוצות, תוך שימוש בלמה של צורן.
למשפט יש גם הרבה שימושים מעניינים שאינם קשורים ישירות לשידוכים. לדוגמה, בהינתן חפיסת קלפים סטנדרטית, שמחולקת באופן שרירותי ל-13 רביעיות, ניתן להראות באמצעות משפט החתונה שניתן לבחור קלף אחד בדיוק מכל רביעייה כך ש-13 הקלפים הנבחרים יכילו בדיוק קלף אחד מכל 'מספר' (אס, 2, 3, 4, 5, 6, 7, 8, 9, 10, נסיך, מלכה ומלך).
דרך אחרת לנסח את המשפט היא עבור גרפים דו צדדיים. אם הוא גרף דו צדדי, אז קיים בו שידוך המכסה את צד אם ורק אם לכל תת-קבוצה מתקיים , כאשר הוא אוסף השכנים של צמתים ב-. השקילות לניסוח הקודם קלה להוכחה - הקבוצה מייצגת את משפחת הקבוצות שעבורן בוחרים נציגים, הקבוצה את אוסף האיברים שהקבוצות במשפחה יכולות להכיל, וקשת מייצגת קשר של הכלה.
ההוכחה היא לפי הניסוח של המשפט עבור שידוך בגרף דו צדדי.
נתון גרף דו צדדי עם צדדים ונניח שהשידוך המקסימלי מכסה את כל הקודקודים . נראה שלכל מתקיים :
נסמן ב- שידוך שמכסה את כל הקודקודים ב-. תהי קבוצת כל הקודקודים ב- שהותאמו לקבוצה נתונה . על פי הגדרת שידוך, . היות שכל האיברים ב- הם שכנים של , מתקיים ולכן, . מכך יוצא ש-.
נתון גרף דו צדדי עם צדדים ונניח את תנאי המשפט - לכל מתקיים ש-.
נסתכל על שידוך בגודל מקסימלי לצמתי . נסמן את הצמתים שאינם משודכים ב- על ידי . נניח בשלילה ש .
מסלול מרחיב הוא מסלול (שיכול להיות ריק) בגרף המתחיל בצומת מ- כך שהקשתות האי זוגיות שייכות ל- והקשתות הזוגיות שייכות ל .
נניח שקיים מסלול מרחיב המסתיים בצומת ב- שאינו משודך. נוכל להגדיר שידוך חדש שגודלו יהיה לפחות בסתירה לכך שהשידוך הוא מגודל מקסימלי. לכן כל מסלול מרחיב שמסתיים ב חייב להסתיים בצומת ששייך לשידוך .
נגדיר את להיות כל הצמתים מ- שניתן להגיע אליהם עם מסלולים מרחיבים ונסמן .
נניח שקיים שאינו משודך. אז הוא שכן של כלשהו, ובנוסף הקשת המחברת ביניהם אינה שייכת לשידוך. לפי הגדרת , קיים מסלול מרחיב המגיע ל-. לאחר הוספת הקשת מקבלים מסלול מרחיב המגיע ל-, בסתירה לטענה שהוכחנו קודם לכן. קיבלנו, אם כן, ש- מכיל רק צמתים משודכים ב-. מפני שצמתי אינם משודכים, נובע שהצמתים המשודכים אל נמצאים ב-. נוכל איפוא לרשום:
נוכיח את הכיוון הקשה בלבד, לפי הניסוח של המשפט עבור שידוך בגרף דו צדדי. נתון גרף דו צדדי עם צדדים ונניח את תנאי המשפט - לכל מתקיים ש-. נוכיח שקיים שידוך ב- המכסה את .
ההוכחה תתבצע באינדוקציה שלמה על הגודל . בבסיס האינדוקציה נניח כי . נסמן ב- את הצומת היחיד ב-. מכיוון ש-, יש ל- שכן . הקשת היא שידוך המכסה את .
כעת נניח כי וכי הטענה נכונה כאשר . נאמר שתת-קבוצה היא הדוקה אם וגם . נפריד לשני מקרים.
מקרה 1. לא קיימת תת-קבוצה הדוקה . נבחר צומת כלשהו . אז יש ל- שכן . נסמן ו-. כעת נגדיר גרף דו-צדדי בתור תת-הגרף המושרה של עם צדדים . לכל תת-קבוצה מתקיים
לכן, מהנחת האינדוקציה, קיים שידוך ב- המכסה את . קבוצת הקשתות היא שידוך ב- המכסה את .
מקרה 2. קיימת תת-קבוצה הדוקה . נסמן . מהנחת האינדוקציה, קיים שידוך ב- המכסה את . תהיינה ו-. נגדיר גרף דו-צדדי בתור תת-הגרף המושרה של עם צדדים . לכל תת-קבוצה מתקיים
מכיוון ש- הדוקה, נובע ש- ולכן לכל תת-קבוצה . מהנחת האינדוקציה, קיים שידוך ב- המכסה את . קבוצת הקשתות היא שידוך ב- המכסה את .
הוכחנו את צעד האינדוקציה בשני המקרים, מה שמשלים את ההוכחה.
מהוכחת המשפט ניתן גם לתת חסם תחתון למספר האפשרויות שבהן ניתן לבחור נציגים ייחודיים. אם הוא גודלה המינימלי של הקבוצה הקטנה מכל הקבוצות ו- הוא מספר הקבוצות, הרי שאם מתקיים , מספר האפשרויות הוא לפחות אפשרויות. אם , הרי שיש לפחות אפשרויות. נשים לב כי זהו חסם נמוך מאוד, ולעיתים קרובות מספר האפשרויות גדול ממנו בהרבה.
בעיית מניית מספר האפשרויות שבהן ניתן לבחור נציגים ייחודיים, או מניית מספר השידוכים המושלמים בגרף דו צדדי, היא שלמה ל-#P.