On Tue, Jun 11, 2019, 11:21 AM Martin Doerr <mar...@ics.forth.gr> wrote:
Detail: from a maths point of view, partial ordering may be allowed for: > I.e.: not all value pairs can be compared with respect to the order > relation. This happens in spaces with more than one dimension, but does not > affect transitivity. Any math freak here to confirm?;-) > A partial order defined by < is transitive, irreflexive, and asymmetric (≤ is transitive, reflexive, and antisymmetric). Also, there can be total orders on multi-dimensional spaces - e.g. museums ordered by distance from Bloomsbury, and partial orders on a single dimension - e.g. (proper) part-of on physical objects. Simon >