According to CLRS:
Theorem 21.1: Using the linked-list representation of disjoint sets and the weighted-union heuristic, a sequence of MAKE-SET, UNION, and F
