A new language N is an embedded language in an existing language E if an expression in N can be used as a subexpression of a construct in E.