Like any equivalence relation, the kernel can be modded out to form a quotient set, and the quotient set is the partition: .
This quotient set /= is called the coimage of the function , and denoted (or a variation).