XML-документ є допустимим, якщо він має асоційоване визначення типу документа (DTD, document type definition) і документ відповідає викладеним в ньому обмеженням. DTD повинен вказуватися перед першим елементом в документі. Ім'я, вказане за словом DOCTYPE, повинна відповідати імені кореневого елемента.
Елементи, які можуть бути дочірніми по відношенню до конкретного елементу, повинні бути перераховані в моделі вмісту через кому.
Якщо ім'я елемента в DTD супроводжується зірочкою [*], то це означає, що елемент може бути присутнім послідовно нуль, один або кілька разів.
Якщо ім'я елемента в DTD супроводжується плюсом [+], то це означає, що елемент може бути присутнім послідовно один або кілька разів.
Якщо ім'я елемента в DTD супроводжується знаком питання [?], То це означає, що цей елемент може ні разу зустрічатися або зустрічатися рівно один раз.
У цьому прикладі використовується комбінація модифікаторів [+ *?].
За допомогою символу [| ] Ми можемо вказати, що присутній повинен один з декількох елементів.
Текст може бути присутнім в документі нарівні з елементами.
Атрибут типу CDATA може містити будь-які символи, якщо вони задовольняють умовам коректності документа. Атрибут типу NMTOKEN може містити тільки букви, цифри, крапку [. ], Тире [-], підкреслення [_] і двокрапка [. ]. NMTOKENS може містити ті ж символи, що і NMTOKEN, плюс пробільні символи: символи пробілу, повернення каретки, переведення рядка або табуляції.
Значення атрибута типу ID може містити тільки символи, дозволені для типу NMTOKEN, і повинно починатися з літери. Ніякої тип елементів не може мати більше одного певного атрибута типу ID. Значення атрибута типу ID повинно бути унікальним серед всіх значень всіх атрибутів даного типу.
Значення атрибута IDREF має відповідати значенням деякого атрибута ID, що міститься в документі. Значення атрибута IDREFS може містити кілька посилань на елементи з атрибутом ID, розділені пробільними символами.
В DTD можуть бути перераховані дозволені значення атрибута.
Якщо атрибут є необов'язковим, може бути визначено значення за замовчуванням, що використовується в разі, коли атрибут відсутній.
Елемент може бути визначений як EMPTY. У цьому випадку він може містити тільки атрибути і не може містити текст.