  We introduce the notion of a pro-fusion system on a pro-p group, which
generalizes the notion of a fusion system on a finite p-group. We also prove a
version of Alperin's Fusion Theorem for pro-fusion systems.
