>>254
アメリカ国立標準技術研究所のページ
http://www.itl.nist.gov/div897/sqg/dads/HTML/abstractDataType.html
Definition: A set of data values and associated operations that are precisely specified independent of any particular implementation.

特に正と負の関係にある処理は必要ないと思われます。
カウンタなんかは「カウントアップ」と「状態の問い合わせ」だけあれば、
「カウントダウン」は必要ないですし。