We have a quick look at various finite model properties for residuated semigroups. In particular, we solve Problem 19.17 from Relation Algebras by Games by Hirsch and Hodkinson.

翻译：我们快速查看了剩余半组的各种有限模型属性。 特别是,我们解决了Hirsch和Hodkinson通过游戏进行关系代数的19.17号问题。