defines a partial order relationship between two entities.
Given a partial ordering relation <=
order x y = LT iff x <= y && not (y <= x)
order x y = GT iff y <= x && not (x <= y)
order x y = EQ iff x <= y && y <= x
order x y = NC iff not (x <= y) && not (y <= x)