I noticed that in Python we have:
'0' < 'A' < 'a'
'0' < '00'
As far as I understand, there are multiple possible lexicographical orderings of characters and strings, so I assume this is one type specifically.
Does this lexicographic ordering have a name? and is it in any way specific to Python?