This text is a rigorous introduction to ergodic theory, developing the machinery of conditional measures and expectations, mixing, and recurrence. Beginning by developing the basics of ergodic theory and progressing to describe some...