Complexity nomenclature

[Ola Fosheim Grøstad via Digitalmars-d]

On Sunday, 6 December 2015 at 23:49:00 UTC, Timon Gehr wrote:
> Yes, that's what you said later down the post. It's completely 
> unrelated to the sentence you claimed was false.

i would assume that there would have to be a usecase for 
something added to a standard library. Based on the presented use 
case it is like using the classifications "younger than 100" and 
"younger than 16", apply them randomly to indivduals of the same 
age and use the classifications for making decisions about 
whether they should be allowed to see adult movies or not. 
Putting an ordering on the classification is in that case useless.