Binary operations
Subsets and iteration