[298]Dunque questa relazione “\(\le \)” definita in [288]↺↻ soddisfa la regola [26H]↺↻; mostreremo che ogni tale ordinamento è un buon ordinamento; qui presentiamo comunque una dimostrazione per questo caso particolare.
