Адказ Дэвіда Джойса добры, але ёсць яшчэ адно вызначэнне адносін адноснасці, якое я бачыў (алгебра Хангерфорда):

Няхай G - манаід з суадносінамі эквівалентнасці ~.

~ гэта адносіны кангруэнтнасці, калі

$for a, b, c, d in [math]G[/math], if [math]a [/math]~[math] b[/math] and [math] c [/math]~[math] d[/math] then [math]ac [/math]~[math] bd.[/math]$

$This is useful to define normal subgroups, and quotient groups because G/~ is a group with a binary operation that respects the congruence relation.$

$There are two relations known as congruence relations. One is in geometry and refers to congruent figures. Two figures are congruent if there is a rigid motion that moves one to the other. The other is in number theory and refers to integers congruent modulo n where [math]n[/math] is some fixed integer. Two integers are congruent modulo [math]n[/math] if their difference is divisible by [math]n.[/math] This second congruence relation has been extended to elements of a ring modulo an ideal.$

Абодва адносіны аднолькавыя. Таксама могуць быць і іншыя адносіны эквівалентнасці, якія называюцца адносінамі кангруэнцыі.

У адказ на ваша пытанне, адносіны кангруэнцыі - гэта пэўнае стаўленне эквівалентнасці, якое называецца адносіны кангруэнцыі.