我们研究了具有如下性质的半群 \( S \)：其直平方 \( S \times S \) 中包含对角线 \( \{(s,s): s \in S\} \) 的每个子半群都是 \( S \) 上的一个同余关系。我们称这样的 \( S \) 为 DSC 半群。众所周知，所有有限群都是 DSC 半群，并且容易看出每个 DSC 半群必须是单半群。在此基础上，我们证明对于许多类半群（包括周期半群、稳定半群、逆半群以及一些著名的简单半群类型），唯一的 DSC 成员是群。然而，我们发现存在非群的 DSC 半群，这是通过 Byleen 引入的一种构造方法获得的，该方法旨在构建有趣的无同余半群。此类例子可以是正则半群或双单半群。

We investigate semigroups $S$ which have the property that every subsemigroup of $S\times S$ which contains the diagonal $\{ (s,s)\colon s\in S\}$ is necessarily a congruence on $S$. We call such $S$ a DSC semigroup. It is well known that all finite groups are DSC, and easy to see that every DSC semigroup must be simple. Building on this, we show that for broad classes of semigroups -- including periodic, stable, inverse and several well-known types of simple semigroups -- the only DSC members are groups. However, it turns out that there exist non-group DSC semigroups, which we obtain utilising a construction introduced by Byleen for the purpose of constructing interesting congruence-free semigroups. Such examples can additionally be regular or bisimple.