Banning

I would simply like to know how I can ban someone from my server, they were griefing and I want to play on the server and so my friend and I had to move to a new server. I would like to find out the command so I can ban him as well as how to run it, so we can go back to our old world, as we had a lot of resources on the server.