Para construir un tipo abstracto de dato se debe: