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.