A theory of phonology that proposes a set of abstract underlying representations from which surface sounds are derived.