Symbols:D/Ordered Integral Domain

Ordered Integral Domain

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

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