Perfect congruences on bisimple $\omega$-semigroups

Simon M. Goberstein, Katherine Grimshaw, Anthony Kling +2

A congruence $\epsilon$ on a semigroup $S$ is perfect if for any congruence classes $x\epsilon$ and $y\epsilon$ their product as subsets of $S$ coincides (as a set) with t…