5.1.6.3 IfcUniquePropertySetNames (唯一属性集名称)
5.1.6.3.1 语义定义（Semantic definition）
该函数获取 IfcPropertySetDefinition 的集合。它遍历 IfcPropertySet 的 Name 特性
并验证没有 Name 重复出现。它在函数 IfcUniqueDefinitionNames 中被调用。
5.1.6.3.2 形式化表示（Formal representation）
FUNCTION IfcUniquePropertySetNames
(Properties : SET [1:?] OF IfcPropertySetDefinition)
:LOGICAL;
LOCAL
Names : SET OF IfcLabel := [];
Unnamed : INTEGER := 0;
END_LOCAL;
REPEAT i:=1 TO HIINDEX(Properties);
IF 'IFC4X3_DEV_62887e3f.IFCPROPERTYSET' IN TYPEOF(Properties[i]) THEN
Names := Names + Properties[i]\IfcRoot.Name;
ELSE
Unnamed := Unnamed + 1;
END_IF;
END_REPEAT;
RETURN (SIZEOF(Names) + Unnamed = SIZEOF(Properties));
END_FUNCTION;