An idiom is an expression (ie. term or phrase) whose meaning cannot be deduced from a literal definition of its parts, and instead refers to a nonliteral or figurative meaning which is only known through conventional use. In linguistics, idioms are constructs of natural language which contradict the principle of compositionality which more formal languages follow. They are typically classified as figures of speech.