A branch of phonology that deals with the restrictions a language applies to combinations of phonemes.