We generalize the definition of the first order Sobolev spaces with zero bo
undary values to an arbitrary metric space endowed with a Borel regular mea
sure. We show that many classical results extend to the metric setting. The
se include completeness, lattice properties and removable sets.