Skip to content
@ac-kit

ORDERED_FIELD

const ORDERED_FIELD: AlgebraicStructure

Defined in: structure.ts:157

A field with a total order compatible with + and · — ℚ and ℝ.