next up previous contents index
Next: , Up: Arithmetic Previous: sign   Contents   Index


PartiallyOrderedType


Usage

PartiallyOrderedType: Category


Description

PartiallyOrderedType is the category of partially ordered types. Hence, a domain of this category is endowed with a transitive binary relation $>$ such that either $x > y$ or $y > x$ does not hold for every x and y. If both do not hold then x and y are called not comparable for $>$. In particular if $x = y$ holds then x and y are not omparable for $>$.


Exports

PrimitiveType
$<$: (%, %) $\to$ Boolean stricly less than
$>$: (%, %) $\to$ Boolean stricly greater than
$\le$: (%, %) $\to$ Boolean less than or equal to
$\ge$: (%, %) $\to$ Boolean greater than or equal to



Subsections

Manuel Bronstein 2004-06-28