Ackermann function
素集合森は考案されてからよく使われていたが、上限（そして限定的な下限）がアッカーマン関数の逆関数であることを証明したのはロバート・タージャンだった。それまで、操作毎の時間の上限はジョン・ホップクロフトとジェフリー・ウルマンが証明した O(log* n) とされていた。log* は重複対数であり、これも増加の遅い関数である（ただし、アッカーマン関数の逆関数ほどではない）。タージャンと van Leeuwen はより効率的なワンパスの "Find" のアルゴリズムも考案している。