קונגרואנציה – הבדלי גרסאות

ההגדרה הכללית של מושג הקונגרואנציה שייכת לתחום האלגברה האוניברסלית, תחום החוקר מבנים אלגבריים בהקשר כללי. ההגדרה מכלילה את מושג הקונגרואנציה מתחומים כמו תורת החוגים ותורת החבורות. באלגברהב[[אלגברה אוניברסלית]], מבנה אלגברי <math>A</math> הוא קבוצה יחד עם אוסף של פעולות מעליה. במובנה הכללי, קונגרואנציה היא יחס שקילות <math>\equiv </math> בין איברי <math>A</math>, המתואם בנוסף עם הפעולות האלגבריות על <math>A</math> באופן כזה שלכל פעולה <math>f_i(x_1,..x_\alpha) \equiv f_i(y_1,..y_\alpha)</math> באם <math>x_m\equiv y_m</math>.