> For the complete documentation index, see [llms.txt](https://adams-personal-organization.gitbook.io/compendium-of-predicates/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://adams-personal-organization.gitbook.io/compendium-of-predicates/checks/algebra/ring.md).

# Ring

### Zero

<details>

<summary><span class="math">\forall(x \in A :: z \otimes x = z)</span></summary>

***

$$\textbf{Ring} ; A ; \otimes ; \oplus ; z$$

***

```
sig A {
  , tms: A->A
  , pls: A->A
}

sig Zero in A {}

zero: check {
  { Ring[A,tms,pls,Zero]
  } implies {
    Zero[A,tms,Zero]
  }
} for 7
```

</details>