Signature of an ADT
An ADT's list of operations is often called its signature.
(In Java, the word "signature" means something different, but I will often use technical terms with their generally accepted meanings even when some programming language has appropriated that term to mean something specific to that language.)