I have come across these commands while using the terminal.Eg. to set the proxy for terminal we use- explore http_proxy '10.1.1.30:8080'

What do these commands mean? Are they commands because they dont have any manual page for them.

Like set, unset, explore are there any more useful commands. And are there any more important variables like http_proxy that can be dealt with.