This document defines Lévy processes and provides properties and theorems about them. Specifically:
(1) A Lévy process X is a stochastic process with independent and stationary increments such that X(0)=0 almost surely and is stochastically continuous.
(2) If X is a Lévy process, then X(t) is infinitely divisible for each t ≥ 0.
(3) If X is a Lévy process, then the characteristic function of X(t) is φX(t)(u) = etη(u), where η is the Lévy symbol of X(1).