概念導讀
整數：判定成員、負號的意義與對負號的封閉性
在實數中，取 Z={0}∪N⁺∪{−n ∣ n∈N⁺}（N 依 OCME 慣例含 0，N⁺=N∖{0}，−n 是 n 的加法反元素）。證明 −7∈Z；說明十進位符號「3.0」表示整數 3；證明 −2.5∉Z；由加法反元素的唯一性證明 −(−a)=a，特別是 −(−4)=4；對所有 z∈Z 證明 −z∈Z；並以 5−8=5+(−8)=−3 分辨二元減法與一元負號。
OCME · 中英數學知識與推導
概念推導導讀
299 份概念教學導讀；另有 36,000 題逐題詳解，兩者分開查找。