The act of overthrowing, pulling down or destroying a pile or structure; ruin; destruction; as the demolition of a house, or of military works.