short ton: a United States unit of weight equivalent to 2000 pounds
mass unit: a unit of measurement for mass
lemma: a subsidiary proposition that is assumed to be true in order to prove another proposition