AA with complex keytype?

[Frits van Bommel]

Brian Byrne wrote:
> Frits van Bommel Wrote:
> 
>> [1] (a < b && b < c => a < c, that sort of thing) 
>>
>> ...
>>
>> [1]: I'm sure there's a mathematical term for this that I can't 
>> currently remember.
> 
> Transitivity! :)

"that sort of thing" == "and stuff like that", i.e. not *just* that.
If I'd meant transitivity, I'd have said that (that term I know).