Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 54. Интегрированные обобщенные ресурсы. Классификация и теория множеств
工业自动化系统和集成 产品数据表示和交换 第54部分 综合通用资源 分类和集合理论
Настоящий стандарт определяет конструкции обобщенных ресурсов для классификации и теории множеств. В область применения настоящего стандарта входит представление:
- существования класса или множества;
- различия между классом или множеством, заданным с помощью абстрактных свойств, которыми обладают его элементы и классом или множеством, заданным перечислением его элементов;
- отношения классификации между классом или множеством и элементом класса или множества;
- полного перечисления элементов класса или множества;
- теоретико-множественных отношений между классами или множествами;
- следующих теоретико-множественных отношений:
- дополнения;
- эквивалентности;
- пересечения;
- мощности множества;
- строгого подмножества;
- подмножества;
- объединения