Описание ГОСТ Р ИСО 10303-54-2011: Настоящий стандарт определяет конструкции обобщенных ресурсов для классификации и теории множеств. В область применения настоящего стандарта входит представление:
- существования класса или множества;
- различия между классом или множеством, заданным с помощью абстрактных свойств, которыми обладают его элементы и классом или множеством, заданным перечислением его элементов;
- отношения классификации между классом или множеством и элементом класса или множества;
- полного перечисления элементов класса или множества;
- теоретико-множественных отношений между классами или множествами;
- следующих теоретико-множественных отношений:
- дополнения;
- эквивалентности;
- пересечения;
- мощности множества;
- строгого подмножества;
- подмножества;
- объединения.
В область применения настоящего стандарта не входит:
- отображения между множествами или классами;
- отношения, которые не являются теоретико-множественными отношениями или отношениями классификации;
- сущности и отношения, свойственные только для непрерывных множеств. |