A proper term for equivalence relation with a finite quotient set

103 Views Asked by At

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?