# Sets, Sequences and Mappings

Introduction to AggregatesOverview of aggregate types, nesting, multi-indexing and common operations.

[Introduction to Aggregates](IntroductionToAggregates/index-introduction-to-aggregates.md)SetsEnumerated sets, set-builder notation, membership, operations and power sets.

[Sets](Sets/index-sets.md)SequencesOrdered sequences: indexing, slicing, sorting, modification and iteration.

[Sequences](Sequences/index-sequences.md)Tuples and Cartesian ProductsFixed-length tuples, Cartesian product parents and component access.

[Tuples and Cartesian Products](TuplesCartesianProducts/index-tuples-cartesian-products.md)ListsMutable dynamic lists and list operations.

[Lists](Lists/index-lists.md)Associative ArraysKey-value maps with arbitrary index types.

[Associative Arrays](AssociativeArrays/index-associative-arrays.md)CoproductsDisjoint union types and access to their elements.

[Coproducts](Coproducts/index-coproducts.md)RecordsNamed-field record structures and record formats.

[Records](Records/index-records.md)MappingsMaps between sets: injections, surjections, bijections and coercion maps.

[Mappings](Mappings/index-mappings.md)