[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.
