: Comprehensive coverage of sets, mappings, and ordered relations, including partial orderings and lattices.