Nonatomic Lipschitz spaces
We abstractly characterize Lipschitz spaces in terms of having a lattice-complete unit ball and a separating family of pure normal states. We then formulate a notion of "measurable metric space" and characterize the corresponding Lipschitz spaces in terms of having a lattice complete unit ball and a separating family of normal states.