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 a~a (refleksiivsus) a~b => b~a (sümmeetrilisus) (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 ~.