Disjoint_Union/
Inclusion/
Inverse_Image/
Lexicographic_Exponentiation/
Lexicographic_Product/
Transitive_Closure/
Union/
Well_Ordering/