Ekvivalentsiseos

Ekvivalentsiseoseks ehk ekvivalentsusseoseks nimetatakse binaarset seost mingil hulgal A, kui see seos on refleksiivne, sümmeetriline ja transitiivne, st seos ~ on ekvivalentsiseos parajasti siis, kui

1. a~a (refleksiivsus)
2. a~b => b~a (sümmeetrilisus)
3. (a~b)&(b~c) => a~c (transitiivsus)

ehk vastavalt kui iga element on iseendaga seoses ~, kui a on b-ga seoses ~, siis b on a-ga seoses ~ ja kui a on b-ga seoses ~ ja b on omakorda c-ga seoses ~, siis on a ka c-ga seoses ~.