5.1.6.2 IfcUniquePropertyName (唯一属性名称)
5.1.6.2.1 语义定义（Semantic definition）
该函数获取 IfcProperty 的集合。
它遍历 IfcProperty 的 Name 特性， 并验证没有 Name 重复出现。
5.1.6.2.2 形式化表示（Formal representation）
FUNCTION IfcUniquePropertyName
(Properties : SET [1:?] OF IfcProperty)
:LOGICAL;
LOCAL
Names : SET OF IfcIdentifier := [];
END_LOCAL;
REPEAT i:=1 TO HIINDEX(Properties);
Names := Names + Properties[i].Name;
END_REPEAT;
RETURN (SIZEOF(Names) = SIZEOF(Properties));
END_FUNCTION;