What is the HTML tag "div" short for?

Solution 1:

http://www.w3.org/TR/REC-html32#block

Document division

Solution 2:

Division. The DIV tag is is designed to allow you to define "divisions" of a page (or to "divide a page into logical containers").