On 6/11/2019 7:15 PM, Simon Spero wrote:
On Tue, Jun 11, 2019, 11:21 AM Martin Doerr <[email protected]
<mailto:[email protected]>> 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
Some questions:
What about "If a ≤ b {\displaystyle a\leq b} a\leq b and b ≤ a
{\displaystyle b\leq a} {\displaystyle b\leq a} then a = b
{\displaystyle a=b} a=b;" if there are two museums at the same distance
from Bloomsbury?
Why should "part-of" be one-dimensional? Do you have details?
Best,
Martin
--
------------------------------------
Dr. Martin Doerr
Honorary Head of the
Center for Cultural Informatics
Information Systems Laboratory
Institute of Computer Science
Foundation for Research and Technology - Hellas (FORTH)
N.Plastira 100, Vassilika Vouton,
GR70013 Heraklion,Crete,Greece
Vox:+30(2810)391625
Email: [email protected]
Web-site: http://www.ics.forth.gr/isl
