This sounds super useful thanks! I think I'll have something this can be used for, with individual claims of whether two elements are in the same set, then easi

This sounds super useful thanks! I think I'll have something this can be used for, with individual claims of whether two elements are in the same set, then easily getting the largest set of equal items.