See artikkel räägib universaalalgebra mõistest; arvuteooria mõiste kohta vaata artiklit Kongruents (arvuteooria); keeleteaduse mõiste kohta vaata artiklit Ühildumine |
Kongruents on niisugune ekvivalentsiseos universaalalgebras, mille puhul samasse ekvivalentsiklassi kuuluvate elementidega tehtud tehete tulemid kuuluvad samasse ekvivalentsiklassi.