Angeordneter Körper/Intervallschachtelung/Definition/Begriff