  We propose a notion of a generalized order, which can be used for the notion
of a strict partial order. We introduce a weak order to replace the usual weak
order defined from a strict partial order. In a constructive setting, that
usual weak order causes problems on the real numbers because their strict order
cannot be proved to be trichotomous.
