Symbols:D/Integral Domain as Algebraic Structure

Integral Domain

 * $\struct {D, +, \circ}$

The full specification for an integral domain, where $+$ and $\circ$ are respectively the ring addition and ring product operations.