A general framework for proving relative consistency results with regard to supercompactness is developed. Within this framework we prove the relative consistency of the assertion that every set is ordinal definable with the statement asserting the existence of a supercompact cardinal. We also generalize Easton's theorem; the new element in our result is that our forcing conditions preserve supercompactness.