Omission of a verb when context supplies it is:

Al-Mafʿūl Bih: Definition, Fronting and Omission