Functions and IntegersCovers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.
Properties of X/GExplores the properties of the quotient space X/G when X is compact and sometimes separated.