Логические структуры
[Определение: Каждый содержит один или несколько элементов, границы каждого из которых обозначены либо парой - , либо (если это элемент) . Каждый элемент имеет определенный тип, который идентифицируется по имени и иногда называется "общим идентификатором" этого элемента (generic identifier - GI), а также может иметь набор спецификаций к атрибутам.] Каждая спецификация атрибута содержит его и .
