抽象資料型別- 維基百科，自由的百科全書 - Wikipedia

要完成整個規格，就要根據資料來定義所有的運算。例如，當兩個有理數a/b 和c/d 相 乘時，相乘的結果就要定義為( a c ) / ( b d )。還有輸入、輸出、先決條件、後置條件， ...

zh.wikipedia.org