add a definition of ordering