اتحاد وندرموند

قضیه ۳ اتحاد وندموند فرض کنید r , n ,m اعداد صحیح نامنفی بوده و r کوچکتر مساوی از n , m است. آنگاه:نبو
شکل شماره ۱
تذکر: این اتحاد توسط ریاضی دان الکساندر-توفیل وندرموند در قرن هجدهم کشف شد.
اثبات: فرض کنید m عنصر در یک مجموعه و n عنصر در مجموعه دوم وجود داشته باشد. آنگاه تعداد روش هایی که می توان r عنصر را از اجتماع این مجموعه ها انتخاب کرد، برابر است با (شکل ۲)