Symbols:D/Ordered Integral Domain

From ProofWiki
Jump to navigation Jump to search

Ordered Integral Domain

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

This specifies an ordered integral domain which is totally ordered by the ordering $\le$.


Its $\LaTeX$ code is \struct {D, +, \circ, \le} .