特性描述

排除约束

将唯一性的概念推广到支持任何可索引的交换运算符,而不仅仅是相等性