Обозначение: | ГОСТ Р ИСО/ТС 10303-1210-2016 |
Статус: | принят |
Название рус.: | Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1210. Прикладной модуль. Теория множеств |
Название англ.: | Industrial automation systems and integration. Product data representation and exchange. Part 1210. Application module. Set theory |
Дата актуализации текста: | 01.02.2017 |
Дата актуализации описания: | 01.01.2018 |
Дата издания: | 20.12.2016 |
Дата введения: | 01.01.2018 |
Дата последнего изменения: | 21.12.2017 |
Область применения: | Настоящий стандарт определяет прикладной модуль «Теория множеств». В область применения настоящего стандарта входят:
- дополнение;
- пересечение;
- мощность множества;
- строгое подмножество;
- совпадение элементов множеств (т. е. равенство);
- подмножество;
- объединение.
В область применения настоящего стандарта не входит:
- определение множества или класса.
- классификация и спецификация полной принадлежности множеству;
- отображения между множествами или классами;
- отношения, не являющиеся отношениями теории множеств |
|