For an algebra [Formula: see text] belonging to a quasivariety [Formula: see text], the quotient [Formula: see text] need not belong to [Formula: see text] for every [Formula: see text]. The natural question arises for which [Formula: see text]. We consider algebras [Formula: see text] of type (2, 0) where a partial order relation is determined by the operations [Formula: see text] and 1. Within these, we characterize congruences on [Formula: see text] for which [Formula: see text] belongs to the same quasivariety as [Formula: see text]. In several particular cases, these congruences are determined by the property that every class is a convex subset of A.

中文翻译：

---

凸同余。

对于属于拟性[公式：参见文本]的代数[公式：参见文本]，商[公式：参见文本]不必对于每个[公式：参见文本]都属于[公式：参见文本]。由此产生一个自然的问题[公式：见正文]。我们考虑类型（2，0）的代数[公式：参见文本]，其中部分顺序关系由运算[公式：参见文本]和1确定。在这些函数中，我们表征[公式：参见文本]的全等式。 [公式：参见文字]与[公式：参见文字]属于同一性质。在某些特定情况下，这些一致性取决于每个类都是A的凸子集的性质。