ÚÄÄÄÄ¿
³0.1 ³
ÃÄÄÄÄ´
³0.11³
³0.12³
³0.13³
ÀÄÄÄÄÙ
uº0.1, 0.11..0.13
globale Definition
u:=0..3
ÚÄ¿
³0³
ÃÄ´
³1³
³2³
³3³
ÀÄÙ
Neudefinition, jetzt aber lokal