Distinct relation

When the distinct option is set, all derived sets of the extent are distinct.