Representing 'brighter than' as a transitive, asymmetric relation presupposes an ordered structure i...