Fundamental concept of abstract data type