Defined operators