Magma provides efficient built-in types for sets, multisets, indexed sets, sequences, tuples, and mappings. Operations include union, intersection, comprehensions, and higher-order iterators over any algebraic structure.