I look through the ALTER USER syntax but did not find this:

If I have a DB user called ABC, is there a way to simply change its name from ABC to DEF?

Is it possible?

Thanks,