标准号:GB/T 16656.54-2010
标准名称:工业自动化系统与集成 产品数据表达与交换 第54部分:集成通用资源:分类和集合论
发布日期:2011-01-14
实施日期:2011-05-01
批准发布部门:中国机械工业联合会
归口单位:全国自动化系统与集成标准化技术委员会
起草单位:中国标准化研究院
起草人:刘守华、洪岩、周歆华、王志强、李文武
GB/T16656的本部分规定了分类和集合论的集成资源构造。本部分适用于:--类或集合的存在;--由抽象准则定义的类或集合之间的区别,以及由枚举类或集合的成员而定义类和集合之间的区别;--类或集合与成员之间的分类关系;--类或集合成员的全部枚举;--类或集合间集合论关系的表达;--下列集合论关系;●补集;●等集;●交集;●幂集;●真子集;●子集;●并集。本部分不适用于;--集合或类之间的映射;--不是分类或集合论关系的关系;--特定连续集合的实体和关系。