partition congruence

C15952 concept

Partition congruence is an equivalence relation on a set that identifies elements as equivalent precisely when they belong to the same block of a given partition of that set.