search for: coset

...ed lists in an array or in a vector. Leader elements allow iterating through class elements only via EquivalenceClasses::member_begin, member_end methods. Except of that there is no difference between the leader and the rest members of an equivalence class here. These leaders doesn't relate to coset leaders or something, AFAIK. It's not a mathematical notion there. Say, for example, I want to create a set of equivalence > classes to specify subset relationships. Imagine B is > a subset of A, C is a subset of B, E is a subset of D > and D has no relation to any other set. I'...

Can someone explain the terminology used in the Doxygen comments for EquivalenceClasses? Specifically, what is a "Leader" as opposed to other members of an equivalence class? Say, for example, I want to create a set of equivalence classes to specify subset relationships. Imagine B is a subset of A, C is a subset of B, E is a subset of D and D has no relation to any other set. I'd