Let be any -Structure where is a Language. Let be an -ary operation on . Then we say that is definable by if