the sum obtained by addition

• aggregate amount; grand total

由加法得到的数额

• 总数；合计

complete; entire; absolute

• relating to the whole; overall

完全的；全部的；绝对的

• 涉及整体的；总体的

to add up; compute the sum

• to amount to; equal a total of
• to wreck completely, especially a vehicle

求和；把…加起来

• 合计为；总计达到
• 完全毁坏（尤指车辆）

Math/Logic: defined for all inputs (total function)

• Relation: left-total; for every x there exists y with x R y
• Order: total; any two elements are comparable

数学/逻辑：对所有输入都有定义（全函数）

• 关系：左全；对每个x都有y使x R y
• 序：全序；任意两元素可比较