Rings

Input: Rings
$$\operatorname{Rings}$$

This abstract set has as elements all sets satisfying the ring axioms.

Input: Element(ZZ, Rings)
$$\mathbb{Z} \in \operatorname{Rings}$$

An example of a ring.

Input: NotElement(2*ZZ, Rings)
$$2 \mathbb{Z} \notin \operatorname{Rings}$$

An example of a non-ring (lacks unit element).

Last updated: 2020-03-06 00:22:16