Usage
PartiallyOrderedType: Category
Description
PartiallyOrderedType is the category of partially ordered types. Hence, a domain of this category is endowed with a transitive binary relationsuch that either
or
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
holds then x and y are not omparable for
.
Exports
PrimitiveType :
(%, %) Boolean
stricly less than :
(%, %) Boolean
stricly greater than :
(%, %) Boolean
less than or equal to :
(%, %) Boolean
greater than or equal to