Additive Inverse

There exists an additive identity $\hat{0}\in F$ such that $x⊞x=\hat{0}$

In Rings

In Rings and derivative structures of rings, additive inverse $-a=(-1)(a)$