Is there a proper term for an equivalence relation $\sim$ on some set $M$ such that it partitions $M$ into finitely many equivalence classes? Finite equivalence relation? or co-finite? or equivalence relation of finite rank? or of finite index?
Asked
Active
Viewed 102 times
0
-
1I've never run across a term, but finite index sounds good, based on the analogy with group theory. – Michael Weiss Mar 21 '14 at 22:17
-
Thanks, finite index sounds reasonable. I thought about group theory, too. – Evgeny Zolin Mar 29 '14 at 19:24