Marriage theorem
கணிதத்தில், திருமணக் கோட்பாடு பின்வருவனவற்றைக் குறிக்கலாம்ஃ ஹாலின் திருமணக் கோட்பாடு ஒரு தொகுப்பு முறைக்கு தனித்துவமான பிரதிநிதிகளின் அமைப்பு இருப்பதற்கு தேவையான மற்றும் போதுமான நிபந்தனைகளை வழங்குகிறது, அல்லது இருதரப்பு வரைபடத்தில் ஒரு சரியான பொருத்தத்திற்கு நிலையான திருமணக் கோட்பாடு, ஒவ்வொரு நிலையான திருமணப் பிரச்சினையும் ஒரு தீர்வைக் கொண்டுள்ளது என்று கூறுகிறது.