R
elational_
D
isjoint_
S
et_
F
orests
Disjoint_Set_Forests
More_Disjoint_Set_Forests
Matrix_Peano_Algebras