DROP USER ​

Drop one or more roles or users from the database.

DROP ROLE [ IF EXISTS ] name [, ...]

ROLE and USER are synonymous keywords in this command. See also DROP ROLE.