an ordering