| Обозначение: | ГОСТ Р ИСО 10303-54-2011 |
| Текущий статус документа: | действующий |
| Название документа рус.: | Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 54. Интегрированные обобщенные ресурсы. Классификация и теория множеств |
| Название документа англ.: | Industrial automation systems and integration. Product data representation and exchange. Part 54. Integrated generic resources. Classification and set theory |
| Дата актуализации текста: | 01.12.2013 |
| Дата издания: | 05.10.2012 |
| Дата введения: | 01.08.2012 |
| Дата последнего изменения: | 22.05.2013 |
| Область применения: | Настоящий стандарт определяет конструкции обобщенных ресурсов для классификации и теории множеств. В область применения настоящего стандарта входит представление:
- существования класса или множества;
- различия между классом или множеством, заданным с помощью абстрактных свойств, которыми обладают его элементы и классом или множеством, заданным перечислением его элементов;
- отношения классификации между классом или множеством и элементом класса или множества;
- полного перечисления элементов класса или множества;
- теоретико-множественных отношений между классами или множествами;
- следующих теоретико-множественных отношений:
- дополнения;
- эквивалентности;
- пересечения;
- мощности множества;
- строгого подмножества;
- подмножества;
- объединения.
В область применения настоящего стандарта не входит:
- отображения между множествами или классами;
- отношения, которые не являются теоретико-множественными отношениями или отношениями классификации;
- сущности и отношения, свойственные только для непрерывных множеств |
|
