The carrier set of an algebra is closed under the operations of the algebra.

In an algebra operations relate two disjoint carrier sets, i.e. they take elements from one set  say A, and generate elements in a different set, say B.

An algebra consists of a carrier set and operations.

Alloy allows a software engineer to explore whether/where their understanding of domain concepts might be incomplete or incorrect.