التوفيق و التباديل اسماء يعبر بها علماء الرياضيات عن مجموعات معينة من الاشياء او الرموز. والتباديل ترتيبات منظمة لمجموعة من الاشياء , فمثلا تعد (أ . ب . جـ) و (أ . جـ .ب ) و (ب . أ. جـ) , ثلاثة تباديل لمجموعة الرموز أ . ب . جـ.
أما التوافيق فهي تلك المجموعات التي تتضمن الاشياء نفسها بغض النظر عن الترتيب , فالمجموعات (أ . ب . جـ) و (أ . جـ .ب ) و (ب . أ. جـ) كلها تمثل التوافيق نفسها , بينما تمثل المجموعات )أ .ب .جـ) و(أ .ب .د)و(أ .جـ .د( توافيق مختلفة.
