Definition of "Ord"