redefined v
génér.	neu definiert
redefine ['ri:dɪ'faɪn] v
génér.	redefinieren; umbenennen
redefined adj.
génér.	redefinierte; redefiniert; umdefiniert