noun
(business, economics) The act of exporting; the act of conveying or sending commodities abroad or to another country, in the course of commerce.
(import/export) The commodity exported; an export.
(obsolete) The act of carrying something away or out from a place.
(logic) Either the logical law ((P∧Q)→R)⇒(P→(Q→R)), or the rule of replacement ((P∧Q)→R)⇔(P→(Q→R)).