In [Incer Romeo, I. X., \textit{The Algebra of Contracts}. Ph.D. Thesis, UC Berkeley (2022)] an algebraic perspective on assume-guarantee contracts is proposed. This proposal relies heavily on a construction involving Boolean algebras. However, the structures thus proposed lack a clearly prescribed set of basic operations, necessary if we want to see them as a class of algebras (in the sense of Universal Algebra). In this article, by prescribing a suitable set of basic operations on contracts, we manage to describe these algebras as (a generating set of members of) well-known varieties.

翻译：在[Incer Romeo, I. X.,《契约代数》，博士学位论文，加州大学伯克利分校(2022)]中，提出了关于假设-保证契约的代数视角。该提案主要依赖于涉及布尔代数的构造。然而，若我们欲将其视为（泛代数意义下的）一类代数，此等构造所提出的结构缺乏一套清晰规定的基本运算集。本文通过为契约规定一套恰当的基本运算集，成功将这些代数描述为（某个生成元集合）隶属众所周知的簇。