Order is the relation of subsumption between Judgements: some Judgements subsume others.
Judgements stand in relations to each other. Those relations force Order: if one Judgement captures everything another captures and more, it subsumes it. Order is this relation of subsumption — the structure that records which Judgements say more than which others.
Order forces Meet (the greatest common refinement of two Judgements) and Join (their least common coarsening). Once a subsumption relation exists, the questions “what do these two share at their most specific?” and “what is the weakest thing containing both?” must have determinate answers.