I asked my teacher to help me understand the word "condescending" in my reading, and he said it was an adjective

describing an attitude that is patronizing toward others.

What type of definition is provided in the sentence?

O dictionary definition

O extended definition

informal definition

formal definition