A binary operation f(x, y) is said to be lazy if every operation that can be obtained from f by composition is equivalent to f(x, y), f(x, x) or x. We describe lazy operations by identities (i.e., we determine all varieties of lazy groupoids), and we also characterize lazy groupoids up to isomorphism.

中文翻译：

---

懒惰的类群动物

如果可以通过f的合成获得的每个运算都等于f（x，  y），f（x，x）或x，则 二元运算f（x，  y）被认为是惰性的。我们通过身份描述懒惰操作（即，我们确定了懒惰的类群的所有变体），并且我们也对懒惰的类群进行了表征，直至同构。