This document discusses path compression for a disjoint-set data structure, which represents sets as trees. It describes the union-find operations of find, union, and makeset. Union by rank and path compression are introduced, where ranks represent tree heights and path compression flattens trees during finds. Very quickly growing inverse functions are used to prove the amortized time of union-find with path compression is O(mα(n)), where α(n) is a very slowly growing function.