Kongruents

Kongruents on niisugune ekvivalentsiseos universaalalgebras, mille puhul samasse ekvivalentsiklassi kuuluvate elementidega tehtud tehete tulemid kuuluvad samasse ekvivalentsiklassi.

Algebra