Assertion list for term "unordered group of distinct elements".

Results from Ascent++: 1
set IsAunordered group of distinct elements 0.33