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.