When we define an abstract data type or a class, we always talk about the type or class: we simply list the properties we know, and take these as the definition.

• 当我们定义一个抽象数据类型或一个类的时候，我们总是就事论事：我们只是列出我们所知道的属性，而且把它们当作定义。