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