特性描述

排除约束

将唯一性概念推广为支持任何可索引的交换运算符,而不仅限于等值运算符