Eine Wohlordnung auf einer Menge .