Velordnet

Fra Wikipedia, den frie encyklopædi

En velordnet mængde betegner i matematikken en mængde M, hvor enhver delmængde af M har et mindste element.