Minecraft wiki entry for deop, associated text: Specified the player to be deopped.
In Java Edition, must be a collection of game profiles (player profiles), which can be a player name (must be a real one if the server is in online mode), or a player-type target selector.
In Bedrock Edition, must be a player name or a target selector. And the target selector must be of player type.