Since languages are just sets of strings, this book will talk about sets and the associated concepts of relations and functions, using yet another special-purpose language.

• 由于语言只不过是字串集合，所以本书使用另一种专用语言来讲述集合和与集合有关的概念，如关系和函数。