Sets

A 3-module path through sets, in study order from foundations to the frontier.