Mathematical formalism can represent 'brighter than' via partial orders or lattices without assuming...
This proposition has not been edited since the history system was added.