Un site Web contient au moins une page car il contient au moins un chapitre qui contient au moins une section, et une section contient soit une section, soit une page (contraintes XOR), ce qui par récursion implique qu'il existe au moins une section qui contient une page.