چکيده
فرض كنيد S يك مجموعه ناتهي به نام مجموعه جهاني، و P مجموعه توان آن، يعني مجموعه تمام زيرمجموعه هايS ، باشد. در جبر و آناليز واحتمال، با انجام اعمال مجموعه اي روي اعضاي P به تساويهايي برخورد ميكنيم كه به اتحاد يا معادله در جبر مقدماتي شباهت دارند. اثبات اينگونه اتحادها يا حل اينگونه معادله ها اغلب ساده و فوري نمي باشد. در اين مقاله با معرفي و كاربرد يك نوع تابع نشانگر براي مجموعه ها، كه برد آن ميداني است دو عضوي، نخست تساوي مجموعه اي را به يك تساوي جبري ميان اينگونه توابع نشانگر تبديل مي كنيم. سپس با بررسي اين تساوي جبري درستي اتحاد را اثبات مي كنيم يا معادله را حل مينماييم. در پايان با چند مثال اين روش را شرح ميدهيم.
