A DSL imposes a well-defined set of types of elements and relations.

DSL规定了良好定义的的一组元素类型和关系。