Paving dimension/Definition

A definition of dimension applicable to compact metric spaces.