Urutan Leksikografis

This could be more elegantly stated by recursively defining the ordering of any set