Every start-tag has a matcing end-tag
There is a unique root element
Elements may not overlap
Attribute values are quoted
< and & are only used to start tags and entities
<
&
Only the five predefined entity references are used
Plus more...