本部分通过使用GB/T 20719语言中编写的一组定义来提供这种语言的非基本概念的规范。这些定义为本部分中的术语提供了语义的公理化。