(Ho hum. Can anything
mathematical be a
thing?
L. E. J. Brouwer didn't think so.)
A partial order is a mathematical relation that is transitive, antisymmetric, therefore antireflexive, but it is not
necessarily total.
That is, if x is before y, y cannot be before x, but many x and y may not be ordered at all.