Alloy 4 contains a number of utility modules that provide common operations on graphs, integers, etc. Here is a list of the modules and a short description for each module:

module util/boolean Creates a Bool type with two singleton subtypes: True and False.
module util/graph[node] Utilities for common operations and constraints on graphs.
module util/integer Utilities for using integers in Alloy.
module util/natural Utilities for using the set of nonnegative integers (0, 1, 2, …).
module util/ordering[element] Creates a single linear ordering over the atoms in elem.
module util/relation Utilities for common operations and constraints on binary relations.
module util/sequniv This module models each sequence of elements using a relation. (This module is imported automatically if your model uses the new seq keyword.
module util/ternary Utilities for common operations and constraints on ternary relations.